Author of the publication

Static vs Dynamic Typing for Access Control in Pi-Calculus.

, , and . ASIAN, volume 4846 of Lecture Notes in Computer Science, page 282-296. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A semantic analysis of key management protocols for wireless sensor networks., and . Sci. Comput. Program., (2014)Locking discipline inference and checking., , , , and . ICSE, page 1133-1144. ACM, (2016)Secure Contexts for Confidential Data., , , and . CSFW, page 14-28. IEEE Computer Society, (2003)Static BiLog: a Unifying Language for Spatial Structures., , and . Fundam. Informaticae, 80 (1-3): 91-110 (2007)Bigraphical Logics for XML., , and . SEBD, page 392-399. (2005)Boolean Formulas for the Static Identification of Injection Attacks in Java., , , , and . LPAR, volume 9450 of Lecture Notes in Computer Science, page 130-145. Springer, (2015)Static vs Dynamic Typing for Access Control in Pi-Calculus., , and . ASIAN, volume 4846 of Lecture Notes in Computer Science, page 282-296. Springer, (2007)Information Flow Security and Recursive Systems., , , and . ICTCS, volume 2841 of Lecture Notes in Computer Science, page 369-382. Springer, (2003)A Semantic Analysis of Wireless Network Security Protocols., and . NASA Formal Methods, volume 7226 of Lecture Notes in Computer Science, page 403-417. Springer, (2012)Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks., , and . FSEN, volume 8161 of Lecture Notes in Computer Science, page 168-182. Springer, (2013)