FINAL CALL FOR PAPERS, ASIAN 06 on Secure Software

MEETING on Secure Software, Tokyo, Japan, December 6-8, 2006
(Title-abstracts due 24 Aug. 2006, Papers due 31 Aug 2006)

The theme of this year's Annual ASIAN Conference is
Secure Software and related computer security issues.
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. Accepted papers will be published in Springer LNCS. Topics of
interest include but are not limited to:

  * Theoretical approaches to secure software
  * Formal specification and verification of software
  * Secure protocols and network security
  * Authentication and cryptography issues
  * 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
  * logic and semantics for protocol analysis
  * Dependable and autonomic architectures and design
  * Secure OS and middleware
  * Artificial intelligence for secure systems
  * Secure software engineering
  * Education for secure software development
  * Security-specific software development practices
  * Case analysis and failure analysis for secure software
  * Policy and standardization issues for secure software

For more information, http://www.nii.ac.jp/asian2006