Publication | Closed Access
A Classification of Security Properties for Process Algebras1
308
Citations
20
References
1995
Year
EngineeringInformation SecuritySemantic DomainSoftware AnalysisFormal VerificationSecurity PropertiesSystems EngineeringData FlowProcess SpecificationLabelled Transition SystemsComputer ScienceProcess CalculusData SecurityGeneral ModelProgram AnalysisFormal MethodsComputer Security ModelSecurity PropertyModel-driven Security
Several information flow security definitions, proposed in the literature, are generalized and adapted to the model of labelled transition systems. This very general model has been widely used as a semantic domain for many process algebras, e.g. CCS.
| Year | Citations | |
|---|---|---|
Page 1
Page 1