Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2007
Corin, R.J. and Deniélou, P.-M. and Fournet, C. and Bhargavan, K. and Leifer, J.
(2007)
Secure Implementations for Typed Session Abstractions.
In: 20th IEEE Computer Security Foundations Symposium (CSF), 6-8 July, Venice, Italy.
pp. 170-186.
IEEE Computer Society.
ISBN 0-7695-2819-8
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||