Output details
11 - Computer Science and Informatics
Middlesex University
Return to search
Output 0 of 0 in the submission
Output title
A Semi-lattice Model for Multi-lateral Security
Type
E - Conference contribution
Name of conference/published proceedings
Data Privacy Management and Autonomous Spontaneous Security
Lecture Notes in Computer Science Volume 7731
Volume number
7731
Issue number
-
First page of article
118
ISSN of proceedings
1611-3349
Year of publication
2013
Number of additional authors
0
Additional information
<10> This paper has been presented at the DPM workshop co-located with the top security conference ESORICS 2012. It extends our Isabelle/HOL framework for distributed active objects to support privacy. A novel security model is proposed. This model breaks away from the long-standing Multi-Level Security model (MLS) by Denning. It proposes the use of semi-lattices that do not impose Top elements guaranteeing privacy. This work provides the conceptual foundation for our ongoing work on distributed active objects in collaboration with Inria. A travel grant from the Royal Society is expected to further this bilateral collaboration.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
