11. ASIAN 2006:
Tokyo,
Japan
Mitsu Okada, Ichiro Satoh (Eds.):
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers.
Lecture Notes in Computer Science 4435 Springer 2008, ISBN 978-3-540-77504-1 BibTeX
- Akira Matsunaga, Tsutomu Matsumoto:
Security Evaluation of a Type of Table-Network Implementation of Block Ciphers.
1-12
Electronic Edition (link) BibTeX
- Yannick Chevalier, Mounira Kourjieh:
A Symbolic Intruder Model for Hash-Collision Attacks.
13-27
Electronic Edition (link) BibTeX
- Huibiao Zhu, Geguang Pu, Jifeng He:
A Denotational Approach to Scope-Based Compensable Flow Language for Web Service.
28-36
Electronic Edition (link) BibTeX
- Tarjei K. Mandt, Chik How Tan:
Certificateless Authenticated Two-Party Key Agreement Protocols.
37-44
Electronic Edition (link) BibTeX
- Thierry Sans, Frédéric Cuppens, Nora Cuppens-Boulahia:
FORM : A Federated Rights Expression Model for Open DRM Frameworks.
45-59
Electronic Edition (link) BibTeX
- Masatomo Hashimoto:
A Method of Safety Analysis for Runtime Code Update.
60-74
Electronic Edition (link) BibTeX
- Gurvan Le Guernic, Anindya Banerjee, Thomas P. Jensen, David A. Schmidt:
Automata-Based Confidentiality Monitoring.
75-89
Electronic Edition (link) BibTeX
- Nai Xia, Bing Mao, Qingkai Zeng, Li Xie:
Efficient and Practical Control Flow Monitoring for Program Security.
90-104
Electronic Edition (link) BibTeX
- Ming-Hsien Tsai, Bow-Yaw Wang:
Modular Formalization of Reactive Modules in COQ.
105-119
Electronic Edition (link) BibTeX
- Alejandro Russo, John Hughes, David A. Naumann, Andrei Sabelfeld:
Closing Internal Timing Channels by Transformation.
120-135
Electronic Edition (link) BibTeX
- Lucia Acciai, Michele Boreale:
Responsiveness in Process Calculi.
136-150
Electronic Edition (link) BibTeX
- Vincent Bernat, Hubert Comon-Lundh:
Normal Proofs in Intruder Theories.
151-166
Electronic Edition (link) BibTeX
- Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay, Christopher Walstad:
Breaking and Fixing Public-Key Kerberos.
167-181
Electronic Edition (link) BibTeX
- Gergei Bana, Payman Mohassel, Till Stegers:
Computational Soundness of Formal Indistinguishability and Static Equivalence.
182-196
Electronic Edition (link) BibTeX
- Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell, Jean-Pierre Seifert:
Secrecy Analysis in Protocol Composition Logic.
197-213
Electronic Edition (link) BibTeX
- Zhaohui Luo:
A Type-Theoretic Framework for Formal Reasoning with Different Logical Foundations.
214-222
Electronic Edition (link) BibTeX
- Slawomir Lasota, David Nowak, Yu Zhang:
On Completeness of Logical Relations for Monadic Types.
223-230
Electronic Edition (link) BibTeX
- Zining Cao:
A Spatial Logical Characterisation of Context Bisimulation.
231-239
Electronic Edition (link) BibTeX
- Qin Ma, Luc Maranget:
Information Hiding in the Join Calculus.
240-247
Electronic Edition (link) BibTeX
- Nguyen Van Tang, Dang Van Hung, Mizuhito Ogawa:
Modeling Urgency in Component-Based Real-Time Systems.
248-255
Electronic Edition (link) BibTeX
- Khandoker Asadul Islam, Yoshimichi Watanabe:
Maintaining Data Consistency of XML Databases Using Verification Techniques.
256-263
Electronic Edition (link) BibTeX
- Souhei Ito, Shigeki Hagihara, Naoki Yonezaki:
An Operational Semantics of Program Dependence Graphs for Unstructured Programs.
264-271
Electronic Edition (link) BibTeX
- Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival:
Combination of Abstractions in the ASTRÉE Static Analyzer.
272-300
Electronic Edition (link) BibTeX
- Naokata Shikuma, Atsushi Igarashi:
Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-Calculus.
301-315
Electronic Edition (link) BibTeX
- Ming-Hsien Tsai, Bow-Yaw Wang:
Formalization of CTL* in Calculus of Inductive Constructions.
316-330
Electronic Edition (link) BibTeX
- Corneliu Popeea, Wei-Ngan Chin:
Inferring Disjunctive Postconditions.
331-345
Electronic Edition (link) BibTeX
- Reynald Affeldt, Nicolas Marti:
An Approach to Formal Verification of Arithmetic Functions in Assembly.
346-360
Electronic Edition (link) BibTeX
Copyright © Sat May 16 22:58:41 2009
by Michael Ley (ley@uni-trier.de)