A Classification of Security Properties

Authors:
R. Focardi;R. Gorrieri
Affiliations:
-;-
Venue:
A Classification of Security Properties
Year:
1993

Citing 0
Cited 3

Information flow vs. resource access in the asynchronous pi-calculus

ACM Transactions on Programming Languages and Systems (TOPLAS)
Analysis of security protocols as open systems

Theoretical Computer Science
Extending noninterference properties to the timed world

Proceedings of the 2006 ACM symposium on Applied computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Several security definitions proposed in the literature are reformulated over the general model of labelled transition systems, frequently used as a suitable semantic domain for abstract concurrent languages, such as CCS. A classification of these security properties is provided.