On a formal framework for security properties

Sigrid Gurgens, Peter Ochsenschlager, Carsten Rudolph

Research output: Contribution to journal › Article › Research › peer-review

Original language	English
Pages (from-to)	457 - 466
Number of pages	10
Journal	Computer Standards & Interfaces
Volume	27
Issue number	5
DOIs	https://doi.org/10.1016/j.csi.2005.01.004
Publication status	Published - 2005
Externally published	Yes

Access to Document

@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 & Interfaces",

issn = "0920-5489",

publisher = "Elsevier BV",

number = "5",

}

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

SN - 0920-5489

VL - 27

SP - 457

EP - 466

JO - Computer Standards & Interfaces

JF - Computer Standards & Interfaces

IS - 5

ER -