81
Foundations and Applications of Security Analysis [E-Book] : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers /
82
Critical Information Infrastructure Security [E-Book] : Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papers /
83
Selected Areas in Cryptography [E-Book] : 14th International Workshop, SAC 2007, Ottawa, Canada, August 16-17, 2007, Revised Selected Papers /
84
Post-Quantum Cryptography [E-Book] : Third International Workshop, PQCrypto 2010, Darmstadt, Germany, May 25-28, 2010. Proceedings /
85
Integer Programming and Combinatorial Optimization [E-Book] : 14th International Conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010. Proceedings /
86
Combinatorial and Algorithmic Aspects of Networking [E-Book] : 4th Workshop, CAAN 2007, Halifax, Canada, August 14, 2007. Revised Papers /
87
Reconfigurable Computing: Architectures, Tools and Applications [E-Book] : 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010. Proceedings /
88
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues [E-Book] : 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers /
89
Information Security Applications [E-Book] : 8th International Workshop, WISA 2007, Jeju Island, Korea, August 27-29, 2007, Revised Selected Papers /
90
Experimental Algorithms [E-Book] : 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings /
91
Information Security and Privacy [E-Book] : 5th Australasian Conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000, Proceedings /
92
Advances in Information and Computer Security [E-Book] : 5th International Workshop on Security, IWSEC 2010, Kobe, Japan, November 22-24, 2010. Proceedings /
93
Computational Collective Intelligence. Technologies and Applications [E-Book] : Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. Proceedings, Part I /
94
Computational Collective Intelligence. Technologies and Applications [E-Book] : Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. Proceedings, Part III /
95
Provable Security [E-Book] : 5th International Conference, ProvSec 2011, Xi’an, China, October 16-18, 2011. Proceedings /
96
Recent Advances in the Message Passing Interface [E-Book] : 18th European MPI Users’ Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011. Proceedings /
97
Formal Methods and Software Engineering [E-Book] : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings /
98
On the Move to Meaningful Internet Systems: OTM 2011 [E-Book] : Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part I /
99
Stabilization, Safety, and Security of Distributed Systems [E-Book] : 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings /
100
Network Optimization [E-Book] : 5th International Conference, INOC 2011, Hamburg, Germany, June 13-16, 2011. Proceedings /