English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Artikel
On a formal framework for security properties
Details
Full
Export
Statistics
Options
2005
Journal Article
Titel
On a formal framework for security properties
Author(s)
Rudolph, C.
Ochsenschläger, P.
Gürgens, S.
Zeitschrift
Computer Standards and Interfaces
DOI
10.1016/j.csi.2005.01.004
Language
English
google-scholar
View Details
Fraunhofer-Institut für Sichere Informationstechnologie SIT