Object-Oriented Security Proofs
Author: Ernie Cohen
Paper Information
| Title: | Object-Oriented Security Proofs |
| Authors: | Ernie Cohen |
| Proceedings: | FM FMComplete |
| Editors: | Jan Peleska, Klaus Havelund and Bill Roscoe |
| Keywords: | object-oriented, security, proofs |
| Abstract: | ABSTRACT. By reason about security as object equivalence, you can leverage familiar OO reasoning techniques to write formal, modular, human-readable, machine-checkable proofs. |
| Pages: | 4 |
| Talk: | Jul 17 15:00 (Session 121C: FM I-Day) |
| Paper: |  |