Title: A general framework for formal notions of "secure" systems
First published: 1994
Subjects: Computer security
LC classification: QA76.9.A25 P445 1994