On a formal framework for security properties

Sigrid Gurgens, Peter Ochsenschlager, Carsten Rudolph

Research output: Contribution to journalArticleResearchpeer-review

Original languageEnglish
Pages (from-to)457 - 466
Number of pages10
JournalComputer Standards and Interfaces
Volume27
Issue number5
DOIs
Publication statusPublished - 2005
Externally publishedYes

Cite this

Gurgens, Sigrid ; Ochsenschlager, Peter ; Rudolph, Carsten. / On a formal framework for security properties. In: Computer Standards and Interfaces. 2005 ; Vol. 27, No. 5. pp. 457 - 466.
@article{f48bb6107e8b494c967e445016213dad,
title = "On a formal framework for security properties",
author = "Sigrid Gurgens and Peter Ochsenschlager and Carsten Rudolph",
year = "2005",
doi = "10.1016/j.csi.2005.01.004",
language = "English",
volume = "27",
pages = "457 -- 466",
journal = "Computer Standards and Interfaces",
issn = "0920-5489",
publisher = "Elsevier",
number = "5",

}

On a formal framework for security properties. / Gurgens, Sigrid; Ochsenschlager, Peter; Rudolph, Carsten.

In: Computer Standards and Interfaces, Vol. 27, No. 5, 2005, p. 457 - 466.

Research output: Contribution to journalArticleResearchpeer-review

TY - JOUR

T1 - On a formal framework for security properties

AU - Gurgens, Sigrid

AU - Ochsenschlager, Peter

AU - Rudolph, Carsten

PY - 2005

Y1 - 2005

UR - http://goo.gl/pRMBZg

U2 - 10.1016/j.csi.2005.01.004

DO - 10.1016/j.csi.2005.01.004

M3 - Article

VL - 27

SP - 457

EP - 466

JO - Computer Standards and Interfaces

JF - Computer Standards and Interfaces

SN - 0920-5489

IS - 5

ER -