Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2006
Abadi, M. and Corin, R.J. and Fournet, C.
(2006)
Computational Secrecy by Typing for the Pi Calculus.
In: The Fourth ASIAN Symposium on Programming Languages and Systems (APLAS 2006), 8 Nov - 10 Nov 2006, Sydney, Australia.
pp. 253-269.
Lecture Notes in Computer Science 4279.
Springer Verlag.
ISBN 3-540-48937-1
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||