Title: Formal logical methods for system security and correctness
First published: 2008
Subjects: Congresses, Computer logic, Computer security
LC classification: QA76.9.A25 N377 2007