Full Papers- Ordered By Theme

Software and content protection

PASAN: Automatic Patch and Signature Generation for Buffer-Overflow Attacks
Alexey Smirnov (Stony Brook University),
Tzi-cker Chiueh (Stony Brook University)

Evaluating The Effectiveness Of Active Worm Defense Framework On Virtual Lans Through Monte Carlos Simulations
Saeed Rajput (Nova Southeastern University)
Xiaoguang Sun(Think-Sync. Inc.)
Sam Hsu(Florida Atlantic University)

TransCrypt: A Secure and Transparent Encrypting File System for Enterprises
Satyam Sharma (Indian Institute of Technology Kanpur),
Rajat Moona (Indian Institute of Technology Kanpur),
Dheeraj Sanghi (Indian Institute of Technology Kanpur)

Digital Asset Protection in Personal Private Networks
Imad Abbadi (University of London)

Program Intent Protection Using Circuit Encryption
Alec Yasisnac (Florida State University),
Todd Mcdonald(Air Force Institute of Technology)

Network security

Security analysis and experiments for Voice over IP RTP media streams
Christian Wieser (University of Oulu),
Juha Röning (University of Oulu),
Ari Takanen (Codenomicon Ltd.)

A Methodology and Architecture for a Dependable and Secure E-mail Service
Marcelo Maraboli (Universidad Tecnica Federico Santa Maria),
Reinaldo Vallejos (Universidad Tecnica Federico Santa Maria)

Scalable Distributed Key Agreement Scheme for Dynamic Collaborative Groups
Jiang Zhang (Tsinghua University),
Jian-Guang Luo (Tsinghua University),
Bin Li (Tsinghua University),
Shi-Qiang Yang (Tsinghua University)

An Identity-based secure multicast scheme
Janson Zhang (Macquarie University),
Vijay Varadharajan (Macquarie University)
Yi Mu(University of Wollongong)

Fundamental Limits of Anonymity Provided by Crowds
Andriy Panchenko (RWTH Aachen University),
Lexi Pimenidis (RWTH Aachen)

Mobility

A certificate revocation scheme for a mobile ad hoc network
Jorma Jormakka (National Defence College),
Henryka Jormakka (VTT)

Protecting ad hoc networks using digital certificates and threshold cryptography
Wagner Gaspar Brazil (UFF),
Celio Vinicius Neves de Albuquerque (UFF)

A Lightweight Network Access Restriction Protocol for Preventing Packet Injection Attacks in Mobile Ad-hoc Network
Hung-Yuan Hsu (The Pennsylvania State University),
Ali Hurson (The Pennsylvania State University)

A New PKI based Single Sign-On Protocol for a Diminutive Security Device, PANDA , in a Ubiquitous Security Environment
Ki-Woong Park (Korea Advanced Institute of Science and Technology),
Sang-Seok Lim (KAIST CORE Lab.),
Kyu-Ho Park (KAIST CORE Lab.)
Hosung Song(University of Wisconsin)

IMS Authentication in Mobile 3G Networks: A Performance Analysis
Alessandro Anzaloni(Instituto Tecnológico de Aeronáutica)
Marco Listanti(Università di Roma La Sapinza)
Ivan Petrilli(Università di Roma La Sapinza)
Donisete Magri (Telsinc)

Biometric/visual authentication

Visually authenticated Communication
Igor Fischer (Saarland University),
Thorsten Herfet (Saarland University)

Personal Identification Based on Iris Texture Analysis Using Experimental Semivariogram
Osvaldo Junior (Federal University of Maranhão),
Aristófanes Silva (Federal University od Maranhão),
Zair Abdelouahab (Federal University od Maranhão)

Person Identification Using Short Duration Visual Hand Movements
Sanjay Kumar (RMIT University),
Dinesh Kant Kumar (RMIT University)

 Models and formal methods

A Model for Creating Multi-level-security Documents and Access Control Policies
Mohammad Alhammouri (The George Washington University),
Sead Muftic (The George Washington University)

Towards alignment of architectural domains in security policy specifications
Virginia Franqueira (University of Twente),
Pascal van Eck (University of Twente)

Multi-OrBAC: a new Access Control Model for Distributed, Heterogeneous and Collaborative Systems
Anas Abou el kalam (lifo),
Yves Deswarte (LAAS - CBRS)

Specification and Refinement of Security Policy: A Programming Language Technology Approach
Hédi Hamdi (UNIVERSITY OF BORDEAUX )
ADEL Bouhoula(Sup’COM Cité Technologique des Communications)
Mohamed Mosbah(UNIVERSITY OF BORDEAUX )

Information-Flow Security for Restricted Attackers
Damas Gruska (Comenius University)

Visibility: A Novel Concept for Characterizing Provable Network Digital Evidences
Slim Rekhis (Higher School of Communication, Sup'Com),
Noureddine Boudriga (Communication Networks and Security Research Lab., University of the 7th of November at Carthage)

Intrusion detection

A Methodology For Customizing Security Auditing Templates For Malicious Insider Detection
Terry Levoy (Air Force Institute of Technology),
Michael Grimaila (Air Force Institute of Technology),
Robert Mills (Air Force Institute of Technology)

Monitoring For Malware Using a Temporal-Abstraction Knowledge Base
Asaf Shabtai (Ben-Gurion University)
Yuval Shahar(Ben-Gurion University)
Yuval Elovici(Ben-Gurion University)