123
Voted
ESSOS
2010
Springer
16 years 11 days ago
2010
Springer
In the challenge of ensuring the correct behaviour of legacy implementations of security protocols, a formally-based approach is presented to design and implement monitors that sto...