12. ASIAN 2007: Doha, Qatar
Iliano Cervesato (Ed.): Advances in Computer Science - ASIAN 2007. Computer and Network Security, 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, Proceedings. Springer 2007 Lecture Notes in Computer Science ISBN 978-3-540-76927-9
Invited Speaker
- Andrei Sabelfeld: Dimensions of Declassification in Theory and Practice. 1
Program Security
- Seokwoo Choi, Heewan Park, Hyun-il Lim, Taisook Han: A Static Birthmark of Binary Executables Based on API Call Structure. 2-16
- Takahiro Kosakai, Toshiyuki Maeda, Akinori Yonezawa: Compiling C Programs into a Strongly Typed Assembly Language. 17-32
- Gurvan Le Guernic: Information Flow Testing. 33-47
Short Papers on Computer Security
- Hyoungshick Kim: Scalable DRM System for Media Portability. 78-85
- Gergei Bana, Koji Hasebe, Mitsuhiro Okada: Computational Semantics for Basic Protocol Logic - A Stochastic Approach. 86-94
Access Control
- Mohammad Jafari, Mohammad Fathian: Management Advantages of Object Classification in Role-Based Access Control (RBAC). 95-110
- Samiha Ayed, Nora Cuppens-Boulahia, Frédéric Cuppens: An Integrated Model for Access Control and Information Flow Requirements. 111-125
- Imad M. Abbadi: Digital Rights Management Using a Master Control Device. 126-141
Invited Speaker
- Joshua D. Guttman: How to do Things with Cryptographic Protocols. 142-149
Protocols
- Han Gao, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson: A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols. 150-165
- Mengjun Li, Ti Zhou, Zhoujun Li, Huowang Chen: An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic Programming. 166-180
- Vitaly Shmatikov, Ming-Hsiu Wang: Secure Verification of Location Claims with Simultaneous Distance Modification. 181-195
Invited Speaker
- Kazuhiko Kato: Modeling and Virtualization for Secure Computing Environments. 196-197
Intrusion Detection
- E. Ramirez-Silva, Marc Dacier: Empirical Study of the Impact of Metasploit-Related Attacks in 4 Years of Attack Traces. 198-211
- Elie Bursztein, Jean Goubault-Larrecq: A Logical Framework for Evaluating Network Resilience Against Faults and Attacks. 212-227
- Wilson Naik Bhukya, Suneel Kumar Kommuru, Atul Negi: Masquerade Detection Based Upon GUI User Profiling in Linux Systems. 228-239
Short Papers on Network Security
- Atsushi Sakurai, Takashi Minohara, Ryota Sato, Keisuke Mizutani: One-Time Receiver Address in IPv6 for Protecting Unlinkability. 240-246
- Jungsuk Song, Hayato Ohba, Hiroki Takakura, Yasuo Okabe, Kenji Ohira, Yongjin Kwon: A Comprehensive Approach to Detect Unknown Attacks Via Intrusion Detection Alerts. 247-253
- Ali Borji: Combining Heterogeneous Classifiers for Network Intrusion Detection. 254-260
- Petros Belsis, Stefanos Gritzalis, Christos Skourlas, Vassilis Tsoukalas: Managing Uncertainty in Access Control Decisions in Distributed Autonomous Collaborative Environments. 261-267
Safe Execution
- Michele Bugliesi, Damiano Macedonio, Sabina Rossi: Static vs Dynamic Typing for Access Control in Pi-Calculus. 282-296
- Tomohiro Shioya, Yoshihiro Oyama, Hideya Iwasaki: A Sandbox with a Dynamic Policy Based on Execution Contexts of Applications. 297-311
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team