Informational Analysis of Security and Integrity
Damas P. Gruska · Fundamenta Informaticae · 2012
Formalisms for analysis of systems of various nature specified by process algebras are proposed. They allow us to formalize security properties based on an absence of information flow and properties on system's integrity. Resulting properties are com