6 search results - page 2 / 2 » A Protocol Compiler for Secure Sessions in ML |
CADE
2008
Springer
14 years 5 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...