11 search results - page 3 / 3 » A verifying core for a cryptographic language compiler |
ESOP
2008
Springer
13 years 6 months ago
2008
Springer
In an optimistic approach to security, one can often simplify protocol design by relying on audit logs, which can be analyzed a posteriori. Such auditing is widely used in practice...