11th Annual Asian Computing Science Conference ASIAN 2006
December 6-8, 2006
National Center of Sciences, Tokyo
The conference is sponsored by National Institute of Informatics, the Embassy of France in Japan, INRIA, and Keio University.
Security problems in computing systems, in particular software, become serious and widespread. We are confronted with an increasing number and variety of attacks by remote computers and malicious software, e.g., computer viruses, bots, worms, etc. Whatever the advances in hardware and software, the amount and consequences of such attacks remains serious. Moreover, the ubiquity of computing systems amounts to their use in dependable and mission-critical systems, failure of which can result in serious damages for our daily life. Most security incidents could be traced back to defects in software, thus secure software is becoming an essential requirement of modern computing. However, the development of secure software is a very difficult task that should be based on theoretical approaches and formal methods, such as logic, type theory, and proof theory, to increase the level of confidence in the design and implementation of security-critical systems. Automated tools and techniques are essential for the analysis and verification of software and systems. We also need processes that effectively and efficiently incorporate rigorous techniques for producing secure software and practitioners that are motivated, disciplined, and proficient in their execution. Security in computing systems often relies on the underlying system-level software, e.g., operating systems, network protocol stacks and middleware. Security mechanisms in these systems play therefore an important role.
- Patrick Cousot (Ecole Normale Supereure-Paris, France)
- Li Gong (Windows Live China, Microsoft, China)
- John Mitchell (Stanford University, USA)
and others to be announced. A special session for the memory of Gilles Kahn, INRIA, France (who had taken important initiatives to all the ten (10) past ASIAN CS Conferences) will also be scheduled.
- Abstract submission deadline:August 24th, 2006 (expired)
- Paper submission deadline:September 5th, 2006 (expired)
- Acceptance notification:October 12th, 2006 (done)
- Camera ready deadline for preproceedingNovember 15th, 2006
- Camera ready deadline for postproceedingEnd of December, 2006
Call for Paper
The theme of this conference is Secure Software. The conference aims at discovering and promoting new ways to apply theoretical and practical techniques in secure software analysis, design, development, and operation. Papers are invited on all aspects of theory, practice, applications, and experiences related to this theme. Moreover, papers targeting lessons learn from and education for the development and operation of secure software are particularly welcome.
Topics of interest include but are not limited to:
- Theoretical approaches to secure software
- Formal specification and verification
- Programming language semantics
- Static analysis
- Type systems and type theory for secure programming
- Automated deduction and reasoning about secure software
- Model checking for security
- Testing and aspects of security in software
- Dependable and autonomic architectures and design
- Secure OS and middleware
- Secure protocols and networks
- Artificial intelligence for secure systems
- Secure software engineering
- Education for secure software development
- Security-specific software development practices
Submission and Proceedings
The proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science series. Please prepare your manuscript using the series' style, following the instructions at http://www.springer.de/comp/lncs/authors.html. The proceedings papers will be limited to 15 pages. Submission of a paper implies that should the paper be accepted, at least one of the authors will register before the deadline of final papers and present the paper in the conference. Accepted papers will be given guidelines in preparing and submitting the final manuscript(s) together with the notification of acceptance.
Submission Page has been Closed
Submission should be done through the ASIAN'06 submission page, handled by the EasyChair conference system. The authors are requested to submit the abstract (100 - 300 words) by August 24th, and the paper (regular paper up to 15 pages, short paper up to 7 pages in the PDF format) by August 31st.
To do submission, visit http://www.easychair.org/ASIAN06/ and register as a new member. A password will be sent by e-mail shortly. Using that password, log-in and proceed to the New Submission page, where the detailed instructions can be found. When submitting the abstract, tick the "Abstract Only" box nearly at the end of the page.
Any paper within 7 pages will be automatically judged as a short paper submission. You could also put "(Short Paper)" at the end of the title if the author wishes to make it explicit to the PC.
After submission, the authors can update abstracts and papers as well as the authors' infomation using the EasyChair system until the deadline.
Accepted papers will be published in a volume of the Springer Lecture Notes in Computer Science series, as all 10 former proceedings of the past ASIAN conferences were published in the series. With the notification of acceptance, the author(s) of an accepted paper will also receive further information on submitting the manuscript(s) presented in the pre-proceeding and post-proceedings. For inclusion of a paper for publication in the formal proceedings, at least one of the co-authors is required to pre-register for participation and present the paper at the Conference.
December 6th, 2006
December 7th, 2006
December 8th, 2006
The following associated workshop is scheduled on December 4th and 5th just before the ASIAN 06 Secure Software Meeting. The Workshop is open to the public with free of charge.
- On-line Registration is Closed.
- On-site Registration Desk opens as follows,
- December 5, 16:30 -- 17:00 (Ground Floor)
- December 6, 09:30 -- 12:00 (Ground Floor), 12:00 -- 16:00 (12F)
- December 7, 09:30 -- 12:00 (Ground Floor), 12:00 -- 16:00 (12F)
- December 8, 09:30 -- 12:30 (12F)
- On-site registration may be sold out.
- Aki Yonezawa (University of Tokyo, Japan)
- Philippe Codognet (Embassy of France in Japan)
- Mitsu Okada (Keio University, Japan)
- Ichiro Satoh (National Institute of Informatics, Japan)
- Iliano Cervesato (Carnegie Mellon University, Qatar)
- Shigeru Chiba (Tokyo Institute of Technology, Japan)
- Patrick Cousot (Ecole Normale Supereure-Paris, France)
- Anupam Datta (Stanford University, USA)
- Yuxi Fu (Shanghai Jiaotong University, China)
- Sumanta Guha (AIT, Thailand)
- Masami Hagiya (University of Tokyo)
- Joxan Jaffar (National University of Singapore, Singapore)
- Kanchana Kanchanasut (AIT, Thailand)
- Kenji Kono (Keio University, Japan)
- Ching-Laung Lei (Taiwan National University, Taiwan)
- Xavier Leroy (INRIA, France)
- Ninghui Li (Purdue University, USA)
- John Mitchell (Stanford University, USA)
- Atsushi Ohori (Tohoku University, Japan)
- Andreas Podelski (Freiburg University, Germany)
- Michael Rusinowitch (INRIA-Lorraine/University of Nancy/CNRS, France)
- Etsuya Shibayama (Tokyo Insitute of Technology, Japan)
- L. Yohanes Stefanus (University of Indonesia, Indonesia)
- Kazushige Terui (National Institute of Informatics, Japan)
- Kazunori Ueda (Waseda University, Japan)
and others, to be announced.
Local Organization Committee
- Shin Nakajima (National Institute of Informatics, Japan)
- Kensuke Fukuda (National Institute of Informatics, Japan)
- Soichiro Hidaka (National Institute of Informatics, Japan)
- Hiroshi Hosobe (National Institute of Informatics, Japan)
- Hiroyuki Kato (National Institute of Informatics, Japan)
- Michihiro Koibuchi (National Institute of Informatics, Japan)
The conference is sponsored by National Institute of Informatics, Japan, the Embassy of France in Japan and INRIA.
- The National Center of Sciences is a building located almost in the center of Tokyo. It houses several Japanese governmental academic organizations such as the National Institute of Informatics. You can go from Tokyo Station to the Center by taxi in about 10 minutes. It is called Gakujutsu Sogo Senta in Japanese, and a famous building, Josui Kaikan, is neighboring.
- There are two subway stations near the Center. One is Jimbocho Station (S06/I10/Z07), whose A8 exit, located next to Shogakukan, Inc., is the closest to the Center. The other is Takebashi Station (T08), whose 1b exit, situated next to Mainichi Newspapers, is the nearest. See also information presented by subway companies Tokyo Metro and Toei Transportation. They also provide instructions for using subways.
- If you want to go from Narita Airport to the Center, a simple way is to use Narita Express to get to Tokyo Station and then to take a taxi to the Center, which will cost you approximately 4,000 yen in total. An inexpensive but somewhat complicated way is to use Keisei Limited Express to get to Keisei-yawata Station and then to take Toei Shinjuku Line from Motoyawata Station to Jimbocho Station, which will cost you 1,150 yen in total. You will need at least one and half an hour in both cases.
- Address: National Center of Sciences, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430, JAPAN [Access]
About ASIAN Conferences
The series of annual Asian Computing Science Conferences (ASIAN) was initiated in 1995 by AIT, INRIA and UNU/IIST to provide a forum for researchers in computer science from the Asian region and to promote interaction with researchers from other regions. ASIAN conferences were held in, Kunming (China) in 2005, Bangkok (Thailand) in 2004, Mumbai (India) in 2003, Hanoi (Vietnam) in 2002, Penang (Malaysia) in 2000, Phuket (Thailand) in 1999, Manila (The Philippines) in 1998, Kathmandu (Nepal) in 1997, Singapore in 1996, Pathumthani (Tailand) in 1995. In addition to support from the host countries, they have also been sponsored by INRIA, France, UNU/IIST, Macau and NUS, Singapore. The proceedings of ASIAN conferences, e.g., 2005, 2004, 2003, 2002, and 2000, have been published as Lecture Notes in Computer Science by Springer-Verlag, e.g., vol.3818, vol.3321, vol.2896, vol.2550, and vol.1961, respectively.