286 search results - page 58 / 58 » Pitfalls in Formal Reasoning about Security Protocols |
OOPSLA
2005
Springer
13 years 10 months 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...