International Conference on Automated Planning and Scheduling 

Workshop Intelligent Security
(SecArt 2009)

September 20, 2009, Thessaloniki, Greece

 

[ Home ] Accepted Papers ] Call for Papers ] Program ]

 

ICAPS 2009

Deadline Extended to 30th June 2009

First Workshop on
Intelligent Security
(Security and Artificial Intelligence)
SecArt '09


Call for Papers

Systems that are integrated in the global communication environment such as the Internet require protection against various attacks (buffer overflow, data gathering, unauthorized file change, denial of service etc.).

Changing buisssiness processes and threats are driving new requirement for network security. Increasing bandwidth and new application communication are changing how protocols are used and how data is presented.

Intrusion detection systems are able to detect certain attacks and to signal an event, but often have a high number of false positives, which have to be manually filtered for real security alarms. AI methods are able to improve detection rate and to relieve user of these systems from their burden to trace all dubious events and application logs in detail.

Topics include but are not limited to:

  • Knowledge Representation of Security Environments
  • Knowledge Engineering of Security Rule Bases
  • AI Planning for the Composition of Web Services
  • Plannning and Development of Top-Secure Software
  • Data Mining and Forensic Studies of Raw Data, Log and Event Files
  • Detecting Vulnerabilities in Source and Object Codes
  • Generating Exploits and Running Automated Attacks
  • Modeling Security with AI Planning and Scheduling Technology
  • Diagnosis and Plan Recognition
  • Push-Button Automation for Security Analyses
  • Intelligent Methods for Intrusion Detection
  • Abduction of Attackers' Intensions, e.g. in form of Attack Trees
  • Machine Learning for Signatures
  • Artificial Immune System Algorithms
  • Intelligent Security Assistance Systems
  • AI Planning Algorithms for Improved Event Handling
  • Anonymisation of Security Data
  • Intelligent User Interfaces for Usable Security
  • AI Methods for Decreasing False Positive Rate
We expect up to 8 pages AAAI style for technical papers, and at least 2 pages papers for the presentation of AI security tools and ongoing work.

Important Dates

Paper Submission: (send eMail to one of the co-chairs)

Deadline Extended to 30th June 2009 midnight Pacific Time

Acceptance/Rejection notification: July, 22nd Extended to 29th July 2009

Participant Interaction

Besides paper presentations - by being a new breed of workshop series - we will have panel discussions on limits and possibilities of security in AI in general and planning and scheduling in particuluar, how to continously bridge the gap between the research fields, and how to pushing the workshop to some higher level - probably publishing - event.

Programme Committee

  • Mark Boddy (co-chair, US)
  • Armin Biere (Austria)
  • Carsten Bormann (Germany)
  • Alessandro Cimatti (Italy)
  • Stefan Edelkamp (co-chair, Germany)
  • Joerg Hoffmann (SAP, Germany)
  • S. K. Gosh (India)
  • Patrik Haslum (Australia)
  • Alessio Lomuscio (UK)
  • Howie Shrobe (MIT, US)
  • Karsten Sohr (Germany)
  • Thomas Wagner (Germany)
  • Luca Vigano (Italy)
  • Yacine Zemali (France)

Please contact Stefan Edelkamp for any additional information:

Support:

Squis
SecArt 2009

Stefan Edelkamp (edelkamp@tzi.de)