The 1st International Workshop on Security Engineering Environment
http://www.aise.ics.saitama-u.ac.jp/SEE/

in conjunction with FCST 2009
The 4th International Conference on Frontier of Computer Science and Technology
December 17-19, 2009, Shanghai, China
http://epcc.sjtu.edu.cn/fcst2009/index.php

*** Aim and Scope ***

As opposed to the discipline of software engineering to provide
principles, methodologies, and tools for designing, developing,
operating, and maintaining reliable software systems, the discipline
of security engineering is intended to provide principles,
methodologies, and tools for designing, developing, operating,
maintaining, and disposing of secure information systems.

An intrinsic difficulty in ensuring security of information systems
is that assailants (crackers) are active persons who can get
knowledge and skills day after day and then continuously attack
target information systems always with new techniques. Therefore,
designers, developers, users, and maintainers of information systems
that require high security need continuous supports for their tasks
to protect the system from assailants.

A Security Engineering Environment is an engineering environment that
integrates various tools and provides comprehensive facilities to
designers, developers, users, and maintainers of software systems
such that the designers, developers, users, and maintainers of any
target system can use the tools and facilities to ensure the whole
security of the target system anytime consistently and continuously.

The First International Workshop on Security Engineering Environment
aims to provide a forum for computer scientists, computer engineers,
software engineers, and application developers who are required to
design and develop information systems with high security to discuss
and exchange ideas, research results, and experience reports on
Security Engineering Environment.

*** Topics ***

Topics of interest include but are not limited to:

* Fundamentals of security engineering
* Assurance, privacy, security, and trust issues in software systems
* Information security standards
* Modeling for security engineering
* Methodologies for security engineering
* Methodologies and tools for requirement analysis of security functions
* Methodologies and tools for design and specification of security functions
* Methodologies and tools for verification and validation of security functions
* Methodologies and tools for measuring and monitoring security functions
* Methodologies and tools for testing and debugging security functions
* Methodologies and tools for maintaining security functions
* Integration of security engineering tools
* Run-time supporting environment for security engineering
* Continuous supporting environment for security engineering
* Case studies and experience reports on security engineering

*** Submission Guidelines ***

Submissions should include an abstract, 5-10 keywords, and the e-mail
address of the corresponding author and be in PDF format. Each
submission must not exceed 8 pages in the IEEE 8.5''x11'' two-column
format with 10-12 point font, including tables and figures. Each
submission should be regarded as an undertaking that, should the
submission be accepted, at least one of the authors must attend the
conference to present the work in order that the accepted paper can
be put into digital library. The final version of an accepted paper
will be limited to 6 pages in IEEE proceeding format.

All papers should be submitted using the submission system provided
by EasyChair (http://www.easychair.org/conferences/?conf=see09).

*** Publication ***

Accepted papers will be published in the FCST 2009 conference
proceedings by IEEE Computer Society, provided at least one author of
a paper registers the conference and presents the paper at the
workshop.

*** Important Dates ***

Paper submission: June 30, 2009
Notification of acceptance: August 20, 2009
Camera-ready paper due: September 20, 2009
Author registration: September 20, 2009

*** Organization Committee ***

Jingde Cheng, Saitama University, Japan
Yuichi Goto, Saitama University, Japan
Shoichi Morimoto, Senshu University, Japan