File:Applying doubly labeled transition systems to the refinement paradox (IA applyingdoublyla1094510043).pdf
Original file (1,275 × 1,650 pixels, file size: 2.6 MB, MIME type: application/pdf, 162 pages)
Captions
Summary[edit]
Applying doubly labeled transition systems to the refinement paradox ( ) | |
---|---|
Author |
Bibighaus, David L. |
Title |
Applying doubly labeled transition systems to the refinement paradox |
Publisher |
Monterey, California. Naval Postgraduate School, 2005. |
Description |
Possibilistic Security Properties are widely used in the development of high-assurance security models. However, while a model may possess a security property, an implementation of the model is not guaranteed to possess the property. We argue that the choice of a framework, and its associated definition of refinement, is critical to ensure that an implementation maintains the security property. We show how to use the Doubly Labeled Transition Systems to reason about possibilistic security properties and refinement. We compare this framework to three other process algebras frameworks and show how our framework and security model preserves the security of the largest class of systems. As a consequence of this framework, we show how our security property links confidentiality to availability. Subjects: Computer science; Security; Information Flow; Formal Methods; Refinement; High Assurance |
Language | English |
Publication date | September 2005 |
Current location |
IA Collections: navalpostgraduateschoollibrary; fedlink |
Accession number |
applyingdoublyla1094510043 |
Source | |
Permission (Reusing this file) |
Approved for public release, distribution unlimited |
Licensing[edit]
Public domainPublic domainfalsefalse |
This image or file is a work of a U.S. Air Force Airman or employee, taken or made as part of that person's official duties. As a work of the U.S. federal government, the image or file is in the public domain in the United States.
العربية ∙ беларуская (тарашкевіца) ∙ català ∙ čeština ∙ Deutsch ∙ English ∙ español ∙ eesti ∙ فارسی ∙ suomi ∙ français ∙ italiano ∙ 日本語 ∙ 한국어 ∙ македонски ∙ മലയാളം ∙ မြန်မာဘာသာ ∙ norsk bokmål ∙ Plattdüütsch ∙ Nederlands ∙ polski ∙ português ∙ português do Brasil ∙ русский ∙ sicilianu ∙ slovenčina ∙ slovenščina ∙ српски / srpski ∙ svenska ∙ Türkçe ∙ українська ∙ Tiếng Việt ∙ 中文(简体) ∙ 中文(繁體) ∙ +/− |
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 17:08, 14 July 2020 | 1,275 × 1,650, 162 pages (2.6 MB) | Fæ (talk | contribs) | FEDLINK - United States Federal Collection applyingdoublyla1094510043 (User talk:Fæ/IA books#Fork8) (batch 1993-2020 #7973) |
You cannot overwrite this file.
File usage on Commons
The following page uses this file:
Metadata
This file contains additional information such as Exif metadata which may have been added by the digital camera, scanner, or software program used to create or digitize it. If the file has been modified from its original state, some details such as the timestamp may not fully reflect those of the original file. The timestamp is only as accurate as the clock in the camera, and it may be completely wrong.
Short title | Applying doubly labeled transition systems to the refinement paradox |
---|---|
Author | Bibighaus, David L. |
Software used | Bibighaus, David L. |
Conversion program | Adobe Acrobat 6.0 |
Encrypted | no |
Page size | 612 x 792 pts (letter) |
Version of PDF format | 1.4 |