13. ASIAN 2009:
Seoul,
Korea
Anupam Datta (Ed.):
Advances in Computer Science - ASIAN 2009. Information Security and Privacy, 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings.
Lecture Notes in Computer Science 5913 Springer 2009, ISBN 978-3-642-10621-7 
- Jean Goubault-Larrecq:
"Logic Wins!".
1-16
- Naoki Kobayashi:
Higher-Order Program Verification and Language-Based Security.
17-23
- Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune:
Deducibility Constraints.
24-38
- Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini:
Automated Security Proof for Symmetric Encryption Modes.
39-53
- Robert Grabowski, Lennart Beringer:
Noninterference with Dynamic Security Domains and Policies.
54-68
- Matt Henricksen:
A Critique of Some Chaotic-Map and Cellular Automata-Based Stream Ciphers.
69-78
- Yoshihiko Kakutani:
A Logic for Formal Verification of Quantum Programs.
79-93
- Steve Kremer, Antoine Mercier, Ralf Treinen:
Reducing Equational Theories for the Decision of Static Equivalence.
94-108
- Klaas Ole Kürtz, Henning Schnoor, Thomas Wilke:
A Simulation-Based Treatment of Authenticated Message Exchange.
109-123
- Deqing Zou, Jinjiu Long, Hai Jin:
Trusted Deployment of Virtual Execution Environment in Grid Systems.
124-136
- Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh:
A Dolev-Yao Model for Zero Knowledge.
137-146
- Jianhong Zhang, Hua Chen, Shengnan Gao, Yixian Yang:
A Special Proxy Signature Scheme with Multi-warrant.
147-157
Last update Tue May 22 23:22:53 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
