Publication | Open Access
On the Derivation of Lattice Structured Information Flow Policies
14
Citations
1
References
1976
Year
EngineeringData FlowInformation TheoryAutomated ReasoningFormal MethodsComputer ScienceFormal VerificationMechanism DesignInformation Flow
| Year | Citations | |
|---|---|---|
Page 1
Page 1