Lattices of Information for Security: Deterministic, Demonic, Probabilistic

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41202-8_1 ◽

2013 ◽

pp. 1-3

Author(s):

Carroll C. Morgan

Download Full-text