Information technology is set to experience in the coming decades a massive and unprecedented increase in system complexity, leading to systems that integrate a vast spectrum of diverse technologies and heterogeneous intelligent devices by the billions in connected networks. The increasing complexity and distributed nature of systems will require the development of methodologies, languages, tools, and standards that facilitate interoperability and integration, and generalize deployment scenarios such as remote maintenance of devices. At the same time, the need for secure code will become more prominent, because the distinction between applications and systems will gradually disappear and most code will have consequences as regards security, and the task of writing secure code will become tremendously more difficult, because of the lack of effective support to integrate security considerations in system development.

IT security is an area which involves important technical challenges because of the very high expectations of the market regarding the security properties information systems are expected to meet. The deployment of security mechanisms, though, is often done in an ad-hoc manner and lacking a precise security specification. Formal techniques provide a means to pinpoint precisely and analyze formally security requirements that arise in complex systems. Security is by its nature a global concern, the definition and the application of rigorous methodologies and the design and use of appropriate innovative tools should cover all the steps of the design, development and validation of IT products.

The objective of the workshop is to bring together security experts and formal methods practitioners, who are interested in the application of formal methods in the design and validation of information systems.

Invited Speakers

The workshop will include invited speakers and thematic sessions. 

Topics

The sessions of the workshop will cover the following topics:

• specification and verification of security policies
• language-based security for information flow and resource control
• security based on verifiable evidence, Proof Carrying Code
• system-wide security, security for concurrent and distributed systems
• formal specification and verification of cryptographic protocols
• cryptographic algorithms and provable security
• trust management
• digital rights management
• case studies

Sessions will consist of invited talks and will also include slots for contributed papers. Submission of papers on the above topics is hereby solicited. The deadline for submission is March 31, 2006. Authors will be notified of acceptance decisions by April 21, 2006. The final versions of all contributions will be due by May 30, 2006.

Top

Call For Papers

Click [here] to download the Call For Papers of the event.

Important dates

March 31,	2006	Paper Submission.
April 21,	2006	Acceptance Notification.
May 30,	2006	Submission of the Final version.

Top

FTSAS 2006 - August 20 - 25, 2006, Santiago de Chile, Chile
home | program committee | paper submission | preliminary program