![](/img/cover-not-exists.png)
[IEEE 20th IEEE Computer Security Foundations Symposium (CSF'07) - Venice, Italy (2007.07.6-2007.07.8)] 20th IEEE Computer Security Foundations Symposium (CSF'07) - Secure Implementations for Typed Session Abstractions
Corin, Ricardo, Denielou, Pierre-Malo, Fournet, Cedric, Bhargavan, Karthikeyan, Leifer, JamesYear:
2007
Language:
english
DOI:
10.1109/csf.2007.29
File:
PDF, 645 KB
english, 2007