Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2007
Corin, R.J. and Denielou, P-M.
(2007)
A Protocol Compiler for Secure Sessions in ML.
In: 3rd Symposium on Trustworthy Global Computing (TGC) Revised Selected Papers, 5-6 Nov 2007, Sophia Antipolis, France.
pp. 276-293.
Lecture Notes in Computer Science 4912.
Springer Verlag.
ISBN 978-3-540-78662-7
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||