286 search results - page 58 / 58 » Pitfalls in Formal Reasoning about Security Protocols |
OOPSLA
2005
Springer
14 years 28 days ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...