-
31
-
32
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers
I publikationen Springer eBooks. (2011)Available for University of the Philippines Diliman via SpringerLink.Click here to access
Electronic Resource -
33
Managing the dynamics of networks and services 5th International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2011, Nancy, France, June 13-17, 2011. Proc...
Publicerad 2011Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource -
34
-
35
-
36
-
37
-
38
-
39
-
40