ComputingComputer ScienceComputer SystemsComputer SecurityFormal MethodsSystems ModelingExecutable System ModelsSecure System DesignSoftware Security EngineeringSpecification LanguagesSystem SecurityCommunicating Sequential ProcessesFormal Methods For Security ProtocolsFormal Security VerificationModel-based SecuritySecurity ImplementationSecurity Requirements SpecificationSecurity VerificationSpecification-based Security
A security and specification-oriented semantics for systems is given. The semantic model is derived from that for the trace model of C.A.R. Hoare's (1980) communicating sequential processes and is used to define various security concepts, such as multilevel secure systems, trusted users and integrity. It is indicated how implementations of secure systems can be derived from their specifications.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
5
Security Policies and Security Models
Joseph A. Goguen, José Meseguer · 1982 · 2.1K citations
A Universal Theory of Information Flow
Simon N. Foley · 1987 · 39 citations