106
click to vote
ESORICS
2009
Springer
16 years 3 months ago
2009
Springer
We present a formal model for stateful security protocols. This model is used to define ownership and ownership transfer as concepts as well as security properties. These definitio...