A Hierarchical Key-Insulated Signature Scheme in the CA Trust Model / Zhengyi Le ; Yi Ouyang ; James Ford ; Fillia Makedon
Certificate Recommendations to Improve the Robustness of Web of Trust / Qinglin Jiang
Mobile and Ad Hoc Security
Universally Composable Secure Mobile Agent Computation / Ke Xu ; Stephen R. Tate
Re-thinking Security in IP Based Micro-Mobility / Jukka Ylitalo ; Jan Melén ; Pekka Nikander ; Vesa Torvinen
Shared-Key Signature and Its Application to Anonymous Authentication in Ad Hoc Group / Qianhong Wu ; Changjie Wang ; Yumin Wang
Web Security
Prevent Online Identity Theft - Using Network Smart Cards for Secure Online Transactions / HongQian Karen Lu ; Asad Ali
Provable Unlinkability Against Traffic Analysis Already After <$>{\cal O}<$>(log(n)) Steps! / Marcin Gomułkiewicz ; Marek Klonowski ; Mirosław Kutyłowski
An Efficient Online Electronic Cash with Unlinkable Exact Payments / Toru Nakanishi ; Mitsuaki Shiota ; Yuji Sugiyama
Digital Rights Management
Modifiable Digital Content Protection in P2P / Heejae Park ; Jong Kim
Survey on the Technological Aspects of Digital Rights Management / William Ku ; Chi-Hung Chi
Detecting Software Theft via Whole Program Path Birthmarks / Ginger Myles ; Christian Collberg
Software Security
Effective Security Requirements Analysis: HAZOP and Use Cases / Thitima Srivatanakul ; John A. Clark ; Fiona Polack
The Obfuscation Executive / Kelly Heffner
Author Index
Key Management
Practical Authenticated Key Agreement Using Passwords / Taekyoung Kwon
Further Analysis of Password Authenticated Key Exchange Protocol Based on RSA for Imbalanced Wireless Networks / Muxiang Zhang
Software Reliability Engineering in Industry / J. D. Musa
Assessment and Certification
A Systematic Approach to Safety Case Maintenance / T. P. Kelly ; J. A. McDermid
SQUALE Dependability Assessment Criteria / Y. Deswarte ; M. Kaâniche ; P. Corneillie ; J. Goodson
Assessment and Certification of Safety-Critical Digital Architectures - The ACRuDA Project / G. Sonneck ; E. Schoitsch
Safety Assessment and Human Factors (Poster Session)
Safety Evaluation of a Train Leader Telephone System / G. Dahll
Safety Analysis Techniques for Validating Formal Models During Verification / R. de Lemos ; A. Saeed
Evaluating the Contribution of DesktopVR for Safety-Critical Applications / C. Johnson
Human Performance Reliability in the Design-for-Usability Life Cycle for Safety Human-Computer Interfaces / L. V. L. Filgueiras
The Impact of Different Media on Safety and Usability of Interactive ATC Applications / F. Paternò ; C. Santoro ; S. Tahmassebi
Human Factors
Patterns for Safer Human-Computer Interfaces / A. Hussey
Impact of Communication on Systems Dependability: Human Factors Perspectives / L. Rognin ; J.-P. Blanquart
A Method for Operator Error Detection Based on Plan Recognition / J. Mo ; Y. Crouzet
Safety Assessment
Hierarchically Performed Hazard Origin and Propagation Studies / Y. Papadopoulos
Hardware Redundant Vital Computer - Demonstration of Safety on the Basis of Current Standards / H. Krebs ; S. Mitra
Design for Safety (Poster Session)
System and Software Safety Analysis for the ERA Control Computer / P.G. Beerthuizen ; W. Kruidhof
Safety Markup Language: Concept and Application / C.-F. Fan ; S. Yih
Extendable Ground-to-Air Communication Architecture for CoDySa / A. Pakstas ; I. Shagaev
Hierarchical Reliability and Safety Models of Fault Tolerant Distributed Industrial Control Systems / J. C. Campelo ; P. Yuste ; F. Rodríguez ; P. J. Gil ; J. J. Serrano
The Development of a Commercial "Shrink-Wrapped Application" to Safety Integrity Level 2: The DUST-EXPERTÖ Story / T. Clement ; I. Cottam ; P. Froome ; C. Jones
Verification and Testing
Safety Verification of Ada 95 Programs Using Software Fault Trees / S.-Y. Min ; Y.-K. Jang ; S.-D. Cha ; Y.-R. Kwon ; D.-H. Bae
Programming Rule Static Verification for Reliable Software / P. Robert
Automated Black-Box Testing with Abstract VDM Oracles / B. K. Aichernig
Towards Statistical Control of an Industrial Test Process / G. Lombardi ; E. Peciola ; R. Mirandola ; A. Bertolino ; E. Marchetti
Design for Safety
Choosing Effective Methods for Diversity - How to Progress from Intuition to Science / P. Popov ; L. Strigini ; A. Romanovsky
A First Step Towards the Integration of Accident Reports and Constructive Design Documents
A Holistic Design Concept to Improve Safety Related Control Systems / M. Wimmer ; A. Rizzo ; M. Sujan
Dependability Analysis and Evaluation
Comparing Fault Trees and Bayesian Networks for Dependability Analysis / A. Bobbio ; L. Portinale ; M. Minichino ; E. Ciancamerla
FlexFi: A Flexible Fault Injection Environment for Microprocessor-Based Systems / A. Benso ; M. Rebaudengo ; M. Sonza Reorda
Structural Software Reliability Estimation / S. Kuball ; J. May ; G. Hughes
Formal Methods and Security (Poster Session)
Hazard Analysis in Formal Specification / K. Sere ; E. Troubitsyna
Modeling Safety-Critical Systems with Z and Petri Nets / M. Heiner ; M. Heisel
On Formal Languages for Sequences of Authorization Transformations / Y. Bai ; V. Varadharajan
Scheduling Fault-Tolerant Programs on Multiple Processors to Maximize Schedule Reliability / I. Czarnowski ; P. Jedrzejowicz ; E. Ratajczak
Formal Methods
Formal Design of Distributed Control Systems with Lustre / P. Caspi ; C. Mazuet ; R. Salem ; D. Weber
Formal Specification and Development of a Safety-Critical Train Management System / A. Chiappini ; A. Cimatti ; C. Porzia ; G. Rotondo ; R. Sebastaini ; P. Traverso ; A. Villafiorita
Formal Validation of the GUARDS Inter-Consistency Mechanism / C. Bernardeschi ; A. Fantechi ; S. Gnesi
A Graphical Environment for the Specification and Verification of Reactive Systems / A. K. Bhattacharjee ; S. D. Dhodapkar ; S. Seshia ; R. K. Shyamasundar
Security
Dependability Requirements and Security Architectures for the Healthcare/Medical Sector / G. Trouessin
Three-Pass Hybrid Key Establishment Protocol Based on ESIGN Signature / S.-M. Lee ; T.-Y. Kim
The Integration of Safety and Security Requirements / D. P. Eames ; J. Moffett
Author Index
Invited Talk
Software Reliability Engineering in Industry / J. D. Musa
CoRSA - A Constraint Based Approach to Requirements and Safety Analysis / K. Hollingworth ; A. Saeed
An Agenda for Specifying Software Components with Complex Data Models / K. Winter ; T. Santen ; M. Heisel
Safety in Production Cell Components: An Approach Combining Formal Real-Time Specifications and Patterns / H. Rust
Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems / V. David ; J. Delcoigne ; E. Leret ; A. Ourghanlian ; P. Hilsenkopf ; P. Paris
Linking Hazard Analysis to Formal Specification and Design in B / K. Lano ; P. Kan ; A. Sanchez
Management and Human Factors
Controlling Your Design through Your Software Process / N. MartÃn-Vivaldi ; P. Isacsson
Operator Errors and Their Causes / T. Grams
Security
A Performance Comparison of Group Security Mechanisms / A. Hutchison ; M. Wallbaum
Towards Secure Downloadable Executable Content: The Java Paradigm / J. Iliadis ; S. Gritzalis ; V. Oikonomou
Model and Implementation of a Secure SW-Development Process for
Mission Critical Software / F. Dafelmair
Impact of Object-Oriented Software Engineering Applied to the Development of
Security Systems / S. Jovalekic ; B. Rist
Medical Informatics
'Profit by Safety' or Quackery in Biomedical Information Technology? / B.A. de Mol ; F. Koornneef
Formal Methods II - Languages and Verification
Towards Automated Proof of Fail-safe Behaviour / P. Liggesmeyer ; M. Rothfelder
Verifying a Time-Triggered Protocol in a Multi-language Environment / A. Merceron ; M. Müllerburg ; G.M. Pinna
Methods and Languages for Safety-Related Real-Time Programming / W.A. Halang ; A.H. Frigeri
ANSI-C in Safety Critical Applications - Lessons-Learned from Software Evaluation / A. Lindner
Applications
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools / P. Bertoli ; A. Cimatti ; F. Giunchiglia ; P. Traverso
Applying Formal Methods in Industry - The UseGat Project / S. Bologna ; R. Bove ; G. Dipoppa ; G. Biondi ; G. Mongardi ; C. Porzia ; B.G. Mortensen ; N. Kirkegaard
Increasing System Safety for by-wire Applications in Vehicles by Using a Time-Triggered Architecture / Th. Ringler ; J. Steiner ; R. Belschner ; B. Hedenetz
Fault-Tolerant Communication in Large-Scale Manipulators / H.-D. Kochs ; W. Geisselhardt ; H. Hilmer ; M. Lenord
Distributed Fault-Tolerant and Safety-Critical Application in Vehicles - A Time-Triggered Approach / E. Dilger ; T. Fuehrer ; B. Müller
Model Checking Safety-Critical Software with SPIN: An Application to a Railway Interlocking System / D. Romano ; F. Torielli
EURIS, a Specification Method for Distributed Interlockings / F.v.Dijk ; W. Fokkink ; G. Kolk ; P.v.d.Ven ; B.v.Vlijmen
Object Oriented Safety Analysis of an Extra High Voltage Substation Bay / B. Nowicki ; J. Górski
Formal Methods III - Petri Nets
Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets / F. Saglietti
Safety Verification of Software Using Structured Petri Nets / K. Sacha
Reliability
Refinement of Safety-Related Hazards into Verifiable Code Assertions / K. Wong ; J. Joyce
A Conceptual Comparison of Two Commonly Used Safeguarding Principles / B. Knegtering ; A. Brombacher
A Holistic View on the Dependability of Software-Intensive Systems / G. Sonneck ; E. Schoitsch ; L. Strigini
Verifying Integrity of Decision Diagrams / R. Drechsler
Author Index
Formal Methods I - Analysis and Specification
CoRSA - A Constraint Based Approach to Requirements and Safety Analysis / K. Hollingworth ; A. Saeed
An Agenda for Specifying Software Components with Complex Data Models / K. Winter ; T. Santen ; M. Heisel
Fixed vs. Variable-Length Patterns for Detecting Suspicious Process Behavior / H. Debar ; M. Dacier ; M. Nassehi ; A. Wespi
A Tool for Pro-active Defense Against the Buffer Overrun Attack / D. Bruschi ; E. Rosti ; R. Banfi
A Kernelized Architecture for Multilevel Secure Application Policies / S.N. Foley
Dealing with Multi-policy Security in Large Open Distributed Systems / C. Bidan ; V. Issarny
A Flexible Method for Information System Security Policy Specification / R. Ortalo
On the Security of Some Variants of the RSA Signature Scheme / M. Michels ; M. Stadler ; H.-M. Sun
Side Channel Cryptanalysis of Product Ciphers / J. Kelsey ; B. Schneier ; D. Wagner ; C. Hall
On the Security of Digital Tachographs / R. Anderson
An Authorization Model and Its Formal Semantics / E. Bertino ; F. Buccafurri ; E. Ferrari ; P. Rullo
Authorization in CORBA Security / G. Karjoth
Rules for Designing Multilevel Object-Oriented Databases / F. Cuppens ; A. Gabillon
Byte Code Verification for Java Smart Cards Based on Model Checking / J. Posegga ; H. Vogt
Towards Formalizing the Java Security Architecture of JDK 1.2 / L. L. Kassab ; S. J. Greenwald
EUROMED-JAVA: Trusted Third Party Services for Securing Medical Java Applets / A. Varvitsiotis ; D. Polemi ; A. Marsh
MPEG PTY-Marks: Cheap Detection of Embedded Copyright Data in
DVD-Video / J.P.M.G. Linnartz ; J.C. Talstra
DHWM: A Scheme for Managing Watermarking Keys in the Aquarelle
Multimedia Distributed System / D. Augot ; J.-F. Delaigle ; C. Fontaine
The "Ticket" Concept for Copy Control Based on Embedded Signalling
Panel Session: Watermarking / G. Eizenberg ; J.-J. Quisquater
Authentication and Payment in Future Mobile Systems / G. Horn ; B. Preneel
Distributed Temporary Pseudonyms: A New Approach for Protecting Location Information in Mobile Communication Networks / D. Kesdogan ; P. Reichl ; K. Junghartchen
A Mix-Mediated Anonymity Service and Its Payment / E. Franz ; A. Jerichow
A Subjective Metric of Authentication / A. Jøsang
A Sound Logic for Analysing Electronic Commerce Protocols / V. Kessler ; H. Neumann
Kerberos Version IV: Inductive Analysis of the Secrecy Goals / G. Bella ; L.C. Paulson
Author Index
Fixed vs. Variable-Length Patterns for Detecting Suspicious Process Behavior / H. Debar ; M. Dacier ; M. Nassehi ; A. Wespi
A Tool for Pro-active Defense Against the Buffer Overrun Attack / D. Bruschi ; E. Rosti ; R. Banfi
A Kernelized Architecture for Multilevel Secure Application Policies / S.N. Foley
A Trapdoor Permutation Equivalent to Factoring / Pascal Paillier
Low-Cost Double-Size Modular Exponentiation or How to Stretch Your Cryptoprocessor
Evaluating Differential Fault Analysis of Unknown Cryptosystems
Removing Interoperability Barriers Between the X.509 and EDIFACT Public Key Infrastructures: The DEDICA Project / Montse Rubia ; Juan Carlos Cruellas ; Manel Medina
Hash Functions and the MAC Using All-or-Nothing Property / Sang Uk Shin ; Kyung Hyune Rhee ; Jae Woo Yoon
Decision Oracles are Equivalent to Matching Oracles / Helena Handschuh ; Yiannis Tsiounis ; Moti Yung
Shared Generation of Random Number with Timestamp: How to Cope with the Leakage of the CA's Secret / Yuji Watanabe ; Hideki Imai
Auto-Recoverable Cryptosystems with Faster Initialization and the Escrow Hierarchy / Adam Young
A Secure Pay-per-View Scheme for Web-Based Video Service / Jianying Zhou ; Kwok-Yan Lam
Author Index
A New Type of "Magic Ink" Signatures - Towards Transcript-Irrelevant Anonymity Revocation / Feng Bao ; Robert H. Deng
A New Aspect of Dual Basis for Efficient Field Arithmetic / Chang-Hyi Lee ; Jong-In Lim
Amsterdam ; New York : North-Holland , New York, N.Y., U.S.A. : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1989 xv, 490 p. ; 23 cm
Trustworthy Paper Documents / Marshall Bern ; Jeff Breidenbach ; David Goldberg
An Implementation of Key-Based Digital Signal Steganography / Toby Sharp
Distortion-Free Data Embedding for Images / Miroslav Goljan ; Jessica J. Fridrich ; Rui Du
Information Hiding through Noisy Channels / Valeri Korjik ; Guillermo Morales-Luna
A Perceptual Audio Hashing Algorithm: A Tool for Robust Audio Identification and Information Hiding / M. Kivanç Mihçak ; Ramarathnam Venkatesan
Computational Forensic Techniques for Intellectual Property Protection / Jennifer L. Wong ; Darko Kirovski ; Miodrag Potkonjak
Intellectual Property Metering / Farinaz Koushanfar ; Gang Qu
Keyless Public Watermarking for Intellectual Property Authentication
Efficiency Improvements of the Private Message Service / Oliver Berthold ; Sebastian Clauß ; Stefan Köpsell ; Andreas Pfitzmann
A Reputation System to Increase MIX-Net Reliability / Roger Dingledine ; Michael J. Freedman ; David Hopwood ; David Molnar
Neural Networks Functions for Public Key Watermarking / Justin Picard ; Arnaud Robert
A Graph Theoretic Approach to Software Watermarking / Vijay Vazirani ; Saurabh Sinha
COiN-Video: A Model for the Dissemination of Copyrighted Video Streams over Open Networks / Dimitris Thanos
Natural Language Watermarking: Design, Analysis, and a Proof-of-Concept Implementation / Mikhail J. Atallah ; Victor Raskin ; Michael Crogan ; Christian Hempelmann ; Florian Kerschbaum ; Dina Mohamed ; Sanket Naik
Digital Watermarking of Chemical Structure Sets / Joachim J. Eggers ; Wolf-Dietrich Ihlenfeldt ; Bernd Girod
The Strong Eternity Service / Tonda BeneÜ
Real World Patterns of Failure in Anonymity Systems / Richard Clayton ; George Danezis ; Markus G. Kuhn
Traffic Analysis Attacks and Trade-Offs in Anonymity Providing Systems / Adam Back ; Ulf Möller ; Anton Stiglic
Automatic Detection of a Watermarked Document Using a Private Key / Julien P. Stern ; Jean-Pierre Tillich
Cryptanalysis of the NTRU Signature Scheme (NSS) from Eurocrypt 2001 / Craig Gentry ; Jakob Jonsson ; Jacques Stern ; Michael Szydlo
On the Insecurity of a Server-Aided RSA Protocol / Phong Q. Nguyen ; Igor E. Shparlinski
The Modular Inversion Hidden Number Problem / Dan Boneh ; Shai Halevi ; Nick Howgrave-Graham
Human Identification
Secure Human Identification Protocols / Nicholas J. Hopper ; Manuel Blum
Invited Talk
Unbelievable Security (Matching AES Security Using Public Key Systems) / Arjen K. Lenstra
Practical Public Key Cryptography
A Probable Prime Test with Very High Confidence for n ≡ 1 mod 4 / Siguna Müller
Computation of Discrete Logarithms in {op F}_{{2}^{607}}cEmmanuel Thomé
Speeding Up XTR / Martijn Stam
An Efficient Implementation of Braid Groups / Jae Choon Cha ; Ki Hyoung Ko ; Sang Jin Lee ; Jae Woo Han ; Jung Hee Cheon
Cryptography Based on Coding Theory
How to Achieve a McEliece-Based Digital Signature Scheme / Nicolas T. Courtois ; Matthieu Finiasz ; Nicolas Sendrier
Efficient Traitor Tracing Algorithms Using List Decoding / Alice Silverberg ; Jessica Staddon ; Judy L. Walker
Block Ciphers
Security of Reduced Version of the Block Cipher Camellia against Truncated and Impossible Differential Cryptanalysis / Makoto Sugita ; Kazukuni Kobara ; Hideki Imai
Known-IV Attacks on Triple Modes of Operation of Block Ciphers / Deukjo Hong ; Jaechul Sung ; Seokhie Hong ; Wonil Lee ; Sangjin Lee ; Jongin Lim ; Okyeon Yi
Generic Attacks on Feistel Schemes / Jacques Patarin
A Compact Rijndael Hardware Architecture with S-Box Optimization / Akashi Satoh ; Sumio Morioka ; Kohji Takano ; Seiji Munetoh
Provable Security
Provable Security of KASUMI and 3GPP Encryption Mode f8 / Ju-Sung Kang ; Sang-Uk Shin ; Dowon Hong
Efficient and Mutually Authenticated Key Exchange for Low Power Computing Devices / Duncan S. Wong ; Agnes H. Chan
Provably Authenticated Group Diffie-Hellman Key Exchange - The Dynamic Case / Emmanuel Bresson ; Olivier Chevassut ; David Pointcheval
Threshold Cryptography
Fully Distributed Threshold RSA under Standard Assumptions / Pierre-Alain Fouque
Adaptive Security in the Threshold Setting: From Cryptosystems to Signature Schemes / Anna Lysyanskaya ; Chris Peikert
Threshold Cryptosystems Secure against Chosen-Ciphertext Attacks
Two-Party Protocols
Oblivious Polynomial Evaluation and Oblivious Neural Learning / Yan-Cheng Chang ; Chi-Jen Lu
Mutually Independent Commitments / Moses Liskov ; Silvio Micali ; Leonid Reyzin ; Adam Smith
Zero Knowledge
Efficient Zero-Knowledge Authentication Based on a Linear Algebra Problem MinRank
Responsive Round Complexity and Concurrent Zero-Knowledge / Tzafrir Cohen ; Joe Kilian ; Erez Petrank
Cryptographic Building Blocks
Practical Construction and Analysis of Pseudo-Randomness Primitives / Johan Hastad ; Mats Näslund
Autocorrelation Coefficients and Correlation Immunity of Boolean Functions / Yuriy Tarannikov ; Peter Korolev ; Anton Botev
Elliptic Curve Cryptography
An Extension of KedlayaÆs Point-Counting Algorithm to Superelliptic Curves / Pierrick Gaudry ; Nicolas Gürel
Supersingular Curves in Cryptography / Steven D. Galbraith
Short Signatures from the Weil Pairing / Ben Lynn ; Hovav Shacham
Self-Blindable Credential Certificates from the Weil Pairing / Eric R. Verheul
Anonymity
How to Leak a Secret / Ronald L. Rivest ; Adi Shamir ; Yael Tauman
Key-Privacy in Public-Key Encryption / Mihir Bellare ; Alexandra Boldyreva ; Anand Desai
Real-Time Intruder Tracing through Self-Replication / Heejin Jang ; Sangwook Kim
On the Difficulty of Protecting Private Keys in Software / Taekyoung Kwon
Intrusion Detection with Support Vector Machines and Generative Models / John S. Baras ; Maben Rabi
Cryptographic Algorithm and Attack Implementation
Small and High-Speed Hardware Architectures for the 3GPP StandardCipher KASUMI / Akashi Satoh ; Sumio Morioka
Fast Software Implementations of SC2000 / Helger Lipmaa
Comparative Analysis of the Hardware Implementations of Hash Functions SHA-1 and SHA-512 / Tim Grembowski ; Roar Lien ; Kris Gaj ; Nghi Nguyen ; Peter Bellows ; Jaroslav Flidr ; Tom Lehman ; Brian Schott
Implementation of Chosen-Ciphertext Attacks against PGP and GnuPG / Kahil Jallad ; Jonathan Katz ; Bruce Schneier
Access Control and Trust Management (I)
Role-Based Access Control for E-commerce Sea-of-Data Applications / G. Navarro ; S. Robles ; J. Borrell
An Access Control Model for Tree Data Structures / Alban Gabillon ; Manuel Munier ; Jean-Jacques Bascou ; Laurent Gallon ; Emmanuel Bruno
A New Design of Privilege Management Infrastructure for Organizations Using Outsourced PKI / Ed Dawson ; Javier Lopez ; Jose A. Montenegro ; Eiji Okamoto
Authentication and Privacy
Password Authenticated Key Exchange Based on RSA for ImbalancedWireless Networks / Feng Zhu ; Duncan S. Wong ; Agnes H. Chan ; Robbie Ye
Quantifying Privacy Leakage through Answering Database Queries / Tsan-sheng Hsu ; Churn-Jung Liau ; Da-Wei Wang ; Jeremy K.-P. Chen
A New Offline Privacy Protecting E-cash System with Revokable Anonymity / Weidong Qiu ; Kefei Chen ; Dawu Gu
Keynote Address: Mobile Computing versus Immobile Security / Roger Needham
Experiences of Mobile IP Security (Transcript of Discussion) / Michael Roe
Denial-of-Service, Address Ownership, and Early Authentication in the IPv6 World / Pekka Nikander
Denial of Service, Address Ownership, and Early Authentication in the IPv6 World (Transcript of Discussion)
Efficient, DoS-Resistant, Secure Key Exchange for Internet Protocols / William Aiello ; Steven M. Bellovin ; Matt Blaze ; Ran Canetti ; John Ioannidis ; Angelos D. Keromytis ; Omer Reingold
Efficient, DoS-Resistant, Secure Key Exchange for Internet Protocols (Transcript of Discussion)
Thwarting Timing Attacks Using ATM Networks / Geraint Price
Thwarting Timing Attacks Using ATM Networks (Transcript of Discussion)
Towards a Survivable Security Architecture for Ad-Hoc Networks / Tuomas Aura ; Silja Mäki
Towards a Survivable Security Architecture for Ad-Hoc Networks (Transcript of Discussion)
PIM Security / Dieter Gollmann
PIM Security (Transcript of Discussion)
Merkle Puzzles Revisited - Finding Matching Elements between Lists / Bruce Christianson ; David Wheeler
Merkle Puzzles Revisited (Transcript of Discussion)
Encapsulating Rules of Prudent Security Engineering (Position Paper) / Jan Jürjens
Encapsulating Rules of Prudent Security Engineering (Transcript of Discussion)
A Multi-OS Approach to Trusted Computer Systems / Hiroshi Yoshiura ; Kunihiko Miyazaki ; Shinji Itoh ; Kazuo Takaragi ; Ryoichi Sasaki
A Multi-OS Approach to Trusted Computer Systems (Transcript of Discussion)
A Proof of Non-repudiation / Giampaolo Bella ; Lawrence C. Paulson
A Proof of Non-repudiation (Transcript of Discussion) / Larry Paulson
Using Authority Certificates to Create Management Structures / Babak Sadighi Firozabadi ; Marek Sergot ; Olav Bandmann
Using Attribute Certificates for Creating Management Structures (Transcript of Discussion)
Trust Management and Whether to Delegate / Simon N. Foley
Trust Management and Whether to Delegate (Transcript of Discussion)
You Can't Take It with You (Transcript of Discussion) / Mark Lomas
Protocols Using Keys from Faulty Data
Protocols Using Keys from Faulty Data (Transcript of Discussion)
On the Negotiation of Access Control Policies / Virgil D. Gligor ; Himanshu Khurana ; Radostina K. Koleva ; Vijay G. Bharadwaj ; John S. Baras
Negotiation of Access Control Policies (Transcript of Discussion)
Intrusion-Tolerant Group Management in Enclaves (Transcript of Discussion) / Hassen Sa¿idi
Lightweight Authentication in a Mobile Network (Transcript of Discussion) / James Malcolm
Bluetooth Security - Fact or Fiction? (Transcript of Discussion) / Peter Drabwell
Concluding Discussion When Does Confidentiality Harm Security? / Chair: Bruce Christianson
The Last Word / Thucydides
Author Index
Keynote Address: Mobile Computing versus Immobile Security / Roger Needham
Experiences of Mobile IP Security (Transcript of Discussion) / Michael Roe
Denial-of-Service, Address Ownership, and Early Authentication in the IPv6 World / Pekka Nikander
Ensembles of Learning Machines / Giorgio Valentini ; Francesco Masulli
Eduardo R. Caianiello Lecture
Learning Preference Relations from Data / Theodoros Evgniou ; Massimiliano Pontil
Francesco E. Lauria Lecture
Increasing the Biological Inspiration of Neural Networks / Francesco E. Lauria
Architectures and Algorithms
Hybrid Automatic Trading Systems: Technical Analysis & Group Method of Data Handling / Marco Corazza ; Paolo Vanni ; Umberto Loschi
Interval TOPSIS for Multicriteria Decision Making / Silvio Giove
A Distributed Algorithm for Max Independent Set Problem Based on Hopfield Networks / Giuliano Grossi ; Roberto Posenato
Extended Random Neural Networks / G. Martinelli ; F. M. Frattale Mascioli ; M. Panella ; A. Rizzi
Generalized Independent Component Analysis as Density Estimation / Francesco Palmieri ; Alessandra Budillon
Spline Recurrent Neural Networks for Quad-Tree Video Coding / Lorenzo Topi ; Raffaele Parisi ; Aurelio Uncini
MLP Neural Network Implementation on a SIMD Architecture / Salvatore Vitabile ; Antonio Gentile ; G. B. Dammone ; Filippo Sorbello
Image and Signal Processing
A New Approach to Detection of Muscle Activation by Independent Component Analysis and Wavelet Transform / Bruno Azzerboni ; Giovanni Finocchio ; Maurizio Ipsale ; Fabio La Foresta ; Francesco Carlo Morabito
Learning to Balance Upright Posture: What can be Learnt Using Adaptive NN Models? / N. Alberto Borghese
Detection of Facial Features / Paola Campadelli ; Elena Casiraghi ; Raffaella Lanzarotti
A Two Stage Neural Architecture for Segmentation and Superquadrics Recovery from Range Data / Antonio Chella ; Roberto Pirrone
Automatic Discrimination of Earthquakes and False Events in Seismological Recording for Volcanic Monitoring / E. C. Ezin ; Flora Giudicepietro ; Simona Petrosino ; S. Scarpetta ; A. Vanacore
A Comparison of Signal Compression Methods by Sparse Solution of Linear Systems / Davide Mattera ; Michele Di Monte
Fuzzy Time Series for Forecasting Pollutants Concentration in the Air / Mario Versaci
Real-Time Perceptual Coding of Wideband Speech by Competitive Neural Networks / Eros Pasero ; Alfonso Montuori
Sound Synthesis by Flexible Activation Function Recurrent Neural Networks
Special Session on "Learning in Neural Networks: Limitations and Future Trends" Chaired by Marco Gori Mathematical Modelling of Generalization / Martin Anthony
Structural Complexity and Neural Networks / Alberto Bertoni ; Beatrice Palano
Bayesian Learning Techniques: Application to Neural Networks with Constraints on Weight Space / A. Eleuteri ; R. Tagliaferri ; L. Milano ; F. Acernese ; M. De Laurentiis
A Short Review of Statistical Learning Theory
Author Index / Domenico Parisi
Review Papers
Ensembles of Learning Machines / Giorgio Valentini ; Francesco Masulli
Speaker Model and Decision Threshold Updating in Speaker Verification / M. Mehdi Homayounpour
Application of Constraint Hierarchy to Timetabling Problems / Tatyana Yakhno ; Evren Tekin
An Intelligent System for Therapy Control in a Distributed Organization / José Joaquín Cañadas ; Isabel María del Águila ; Alfonso Bosch ; Samuel Túnez
Data Mining
Discovering Local Patterns from Multiple Temporal Sequences / Xiaoming Jin ; Yuchang Lu ; Chunyi Shi
The Geometric Framework for Exact and Similarity Querying XML Data / Michal Krátký ; Jaroslav Pokorný ; Tomáš Skopal ; Václav Snášel
A Mobile System for Extracting and Visualizing Protein-Protein Interactions / Kyungsook Han ; Hyoungguen Kim
Discovering Temporal Relation Rules Mining from Interval Data / Jun Wook Lee ; Yong Joon Lee ; Hey Kyu Kim ; Bu Hun Hwang ; Keun Ho Ryu
Multimedia I
An Abstract Image Representation Based on Edge Pixel Neighborhood Information (EPNI) / Abdolah Chalechale ; Alfred Mertins
Motion Estimation Based on Temporal Correlations / H.S. Yoon ; G.S. Lee ; S.H. Kim ; J.Y. Chang
A New Boundary Matching Algorithm Based on Edge Detection / NamRye Son ; YoJin Yang ; GueeSang Lee ; SungJu Park
Lookmark: A 2.5D Web Information Visualization System / Christian Breiteneder ; Horst Eidenberger ; Geert Fiedler ; Markus Raab
Artificial Intelligence II
Different Local Search Algorithms in STAGE for Solving Bin Packing Problem / Saeed Bagheri Shouraki ; Gholamreza Haffari
A Prototype for Functionality Based Network Management System / V. Neelanarayanan ; N. Satyanarayana ; N. Subramanian ; E. Usha Rani
Coaching a Soccer Simulation Team in RoboCup Environment / J. Habibi ; E. Chiniforooshan ; A. HeydarNoori ; M. Mirzazadeh ; M.A. Safari ; H.R. Younesy
Security I
Improving Information Retrieval System Security via an Optimal Maximal Coding Scheme / Dongyang Long
A New Scheme Based on Semiconductor Lasers with Phase-Conjugate Feedback for Cryptographic Communications / A. Iglesias
Parallel Algorithm and Architecture for Public-Key Cryptosystem / Hyun-Sung Kim ; Kee-Young Yoo
Specification and Verification of Security Policies in Firewalls / Rasool Jalili ; Mohsen Rezvani
Multimedia II
Image Segmentation Based on Shape Space Modeling / Daehee Kim ; Yo-Sung Ho
HERMES: File System Support for Multimedia Streaming in Information Home Appliance / Youjip Won ; Jinyoun Park ; Sangback Ma
Motion Vector Recovery for Error Concealment Based on Macroblock Distortion Modeling / Jae-Won Suh
A Memory Copy Reduction Scheme for Networked Multimedia Service in Linux Kernel / JeongWon Kim ; YoungUhg Lho ; YoungJu Kim ; KwangBaek Kim ; SeungWon Lee
Neural Network
Hidden Markov Model and Neural Network Hybrid / Dongsuk Yook
Neural Network Based Algorithms for IP Lookup and Packet Classification / Mehran Mahramian ; Nasser Yazdani ; Karim Faez ; Hassan Taheri
Non-linear Prediction of Speech Signal Using Artificial Neural Nets / K. Ashouri ; M. Amini ; M.H. Savoji
Security II
Web Document Access Control Using Two-Layered Storage Structures with RBAC Server / Won Bo Shim ; Seog Park
Development of UML Descriptions with USE / Martin Gogolla ; Mark Richters
FPGA Implementation of Digital Chaotic Cryptography / Dewi Utami ; Hadi Suwastio ; Bambang Sumadjudin
Multimedia III
Stereo for Recovering Sharp Object Boundaries / Jeonghee Jeon ; Choongwon Kim
Priority Vantage Points Structures for Similarity Queries in Metric Spaces / Cengiz Celik
A High Performance Image Coding Using Uniform Morphological Sampling, Residues Classifying, and Vector Quantization / Saeid Saryazdi ; Mostafa Jafari
A Genetic Algorithm for Steiner Tree Optimization with Multiple Constraints Using Prüfer Number / A.T. Haghighat ; K. Faez ; M. Dehghan ; A. Mowlaei ; Y. Ghahremani
Data and Knowledge Engineering I
A New Technique for Participation of Non-CORBA Independent Persistent Objects in OTS Transactions / Mohsen Sharifi ; S.F. Noorani ; F. Orooji
Compositional Modelling of Workflow Processes / Khodakaram Salimifard ; Mike B. Wright
EDMIS: Metadata Interchange System for OLAP / In-Gi Lee ; Minsoo Lee ; Hwan-Seung Yong
An Efficient Method for Controlling Access in Object-Oriented Databases / Woochun Jun ; Le Gruenwald
XML I
Extracting Information from XML Documents by Reverse Generating a DTD / Jong-Seok Jung ; Dong-Ik Oh ; Yong-Hae Kong ; Jong-Keun Ahn
Mapping XML-Schema to Relational Schema / Sun Hongwei ; Zhang Shusheng ; Zhou Jingtao ; Wang Jing
Flexible Modification of Relational Schema by X2RMap in Storing XML into Relations / Jaehoon Kim
B2B Integration - Aligning ebXML and Ontology Approaches / Birgit Hofreiter ; Christian Huemer
Mobile Communication I
An Agent Based Service Discovery Architecture for Mobile Environments / Zhou Wang ; Jochen Seitz
Location Management Using Multicasting HLR in Mobile Networks / Dong Chun Lee
Packet Error Probability of Multi-carrier CDMA System in Fast/Slow Correlated Fading Plus Interference Channel / Jae-Sung Roh ; Chang-Heon Oh ; Heau-Jo Kang ; Sung-Joon Cho
Computer Graphics
A Distributed Low-Cost Dynamic Multicast Routing Algorithm with Delay Constraints / Min-Woo Shin ; Nak-Keun Joo ; Hyeong-Seok Lim
A New Bandwidth Reduction Method for Distributed Rendering Systems / Won-Jong Lee ; Hyung-Rae Kim ; Woo-Chan Park ; Jung-Woo Kim ; Tack-Don Han ; Sung-Bong Yang
Neural Networks Based Mesh Generation Method in 2-D / Çinar Ahmet ; Arslan Ahmet
Anaphoric Definitions in Description Logic / Maarten Marx ; Mehdi Dastani
Storage and Querying of High Dimensional Sparsely Populated Data in Compressed Representation / Abu Sayed M. Latiful Hoque
The GlobData Fault-Tolerant Replicated Distributed Object Database / Luís Rodrigues ; Hugo Miranda ; Ricardo Almeida ; João Martins ; Pedro Vicente
XML II
A Levelized Schema Extraction for XML Document Using User-Defined Graphs / Sungrim Kim ; Yong-ik Yoon
Extracting, Interconnecting, and Accessing Heterogeneous Data Sources: An XML Query Based Approach / Gilles Nachouki ; Mohamed Quafafou
Mobile Communication II
Call Admission Control in Cellular Mobile Networks: A Learning Automata Approach / Hamid Beigy ; M.R. Meybodi
An Adaptive Flow Control Scheme for Improving TCP Performance in Wireless Internet / Seung-Joon Seok ; Sung-Min Hong ; Chul-Hee Kang
An Adaptive TCP Protocol for Lossy Mobile Environment / Choong Seon Hong ; YingXia Niu ; Jae-Jo Lee
Design and Implementation of Application-Level Multicasting Services over ATM Networks / Sung-Yong Park ; Jihoon Yang ; Yoonhee Kim
Digital Libraries and Natural Language Issues
Bon: The Persian Stemmer / Masoud Tashakori ; Mohammadreza Meybodi ; Farhad Oroumchian
Current and Future Features of Digital Journals / Harald Krottmaier
Solving Language Problems in a Multilingual Digital Library Federation / Nieves R. Brisaboa ; José R. Paramá ; MiguelR. Penabad ; Ángeles S. Places ; Francisco J. Rodríguez
Internet and Quality of Service
Performing IP Lookup on Very High Line Speed / Nazila Salimi
A Study of Marking Aggregated TCP and UDP Flows Using Generalized Marking Scheme
Information Society
Towards the Global Information Society: The Enactment of a Regulatory Framework as a Factor of Transparency and Social Cohesion / Panagiotes S. Anastasiades
E-learning
On the Application of the Semantic Web Concepts to Adaptive E-learning / Juan M. Santos ; Luis Anido ; Martín Llamas ; Judith S. Rodríguez
An Integrated Programming Environment for Teaching the Object-Oriented Programming Paradigm / Stelios Xinogalos ; Maya Satratzemi
The Current Legislation Covering E-learning Provisions for the Visually Impaired in the EU / Hamid Jahankhani ; John A. Lynch ; Jonathan Stephenson
Mobile Communication III
Monte Carlo Soft Handoff Modeling / Alexey S. Rodionov ; Hyunseung Choo
A QoS Provision Architecture for Mobile IPv6 over MPLS Using HMAT / Zhao Wei Qu ; Sungyoung Lee
A New Propagation Model for Cellular Mobile Radio Communications in Urban Environments Including Tree Effects / Reza Arablouei ; Ayaz Ghorbani
Mobile Web Information Systems
A Secure Mobile Agent System Applying Identity-Based Digital Signature Scheme / Seongyeol Kim ; Ilyong Chung
Transmission Time Analysis of WAP over CDMA System Using Turbo Code Scheme / Il-Young Moon
On the Use of New Technologies in Health Care / Fernando Aguado ; Olga Folgueiras ; Manuel Caeiro
Wireless Communication Technology I
Hybrid Queuing Strategy to Reduce Call Blocking in Multimedia Wireless Networks / Il-Sun Hwang ; Robert Young Chul Kim
A Dynamic Backoff Scheme to Guarantee QoS over IEEE 802.11 Wireless Local Area Networks / Kil-Woong Jang ; Sung-Ho Hwang ; Ki-Jun Han
Performance Evaluation of Serial/Parallel Block Coded CDMA Systemwith Complex Spreading in Near/Far Multiple-Access Interference and Multi-path Nakagami Fading Channel / Choon-Gil Kim
A Learning Automata Based Dynamic Guard Channel Scheme
Web-Based Application
Dynamic System Simulation on the Web / Khaled Mahbub ; M.S.J. Hashmi
Using Proximity Information for Load Balancing in Geographically Distributed Web Server Systems / Dheeraj Sanghi ; Pankaj Jalote ; Puneet Agarwal
Strategie Tool for Assessment of the Supply and Demand Relationship between ASPs and SMEs for Competitive Advantage / Babak Akhgar ; Jawed Siddiqi ; Mehrdad Naderi
Intelligent Agents I
Trust and Commitment in Dynamic Logic / Jan Broersen ; Zhisheng Huang ; Leendert van der Torre
Modelling Heterogeneity in Multi Agent Systems / Stefania Bandini ; Sara Manzoni ; Carla Simone
Pricing Agents for a Group Buying System / Yong Kyu Lee ; Shin Woo Kim ; Min Jung Ko ; Sung Eun Park
Evolution of Cooperation in Multiagent Systems / Brian Mayoh
Real-Time Systems
A Dynamic Window-Based Approximate Shortest Path Re-computation Method for Digital Road Map Databases in Mobile Environments / Jaehun Kim ; Sungwon Jung
Web-Based Process Control Systems: Architectural Patterns, Data Models, and Services / Mykola V. Tkachuk ; Heinrich C. Mayr ; Dmytro V. Kuklenko ; MichailD. Godlevsky
A Comparison of Techniques to Estimate Response Time for Data Placement / Shahram Ghandeharizadeh ; Shan Gao ; Chris Gahagan
Using a Real-Time Web-Based Pattern Recognition System to Search for Component Patterns Database / Sung-Jung Hsiao ; Kuo-Chin Fan ; Wen-Tsai Sung ; Shih-Ching Ou
Wireless Communication Technology II
An Adaptive Call Admission Control to Support Flow Handover in Wireless Ad Hoc Networks / Joo-Hwan Seo
Design of Optimal LA in Personal Communication Services Network Using Simulated Annealing Technique / Madhubanti Maitra ; Ranjan Kumar Pradhan ; Debasish Saha ; Amitava Mukherjee
Secure Bluetooth Piconet Using Non-anonymous Group Key / Dae-Hee Seo ; Im-Yeong Lee ; Dong-ik Oh ; Doo-soon Park
Differentiated Bandwidth Allocation and Power Saving for Wireless Personal Area Networks / Tae-Jin Lee ; Yongsuk Kim
Software Engineering I
Combining Extreme Programming with ISO 9000 / Jerzy R. Nawrocki ; Michał Jasiñski ; Bartosz Walter ; Adam Wojciechowski
The Class Cohesion Using the Reference Graph G1 and G2 / Wan-Kyoo Choi ; Il-Yong Chung Sung-Joo Lee ; Hong-Sang Yoon
Process-Oriented Interactive Simulation of Software Acquisition Projects / Tobias Häberlein ; Thomas Gantner
Automatic Design Patterns Identification of C++ Programs / Félix Agustín Castro Espinoza ; Gustavo Núñez Esquer ; Joel Suárez Cansino
Intelligent Agents II
Specifying the Merging of Desires into Goals in the Context of Beliefs
The Illegal Copy Protection Using Hidden Agent / Deok-Gyu Lee
Mobile Agent-Based Misuse Intrusion Detection Rule Propagation Model for Distributed System / Tae-Kyung Kim ; Dong-Young Lee ; T.M. Chung
Algorithm and Computer Theory
H-Colorings of Large Degree Graphs / Josep Díaz ; Jaroslav Nešetřil ; Maria Serna ; Dimitrios M. Thilikos
Hyper-Star Graph: A New Interconnection Network Improving the Network Cost of the Hypercube / Hyeong-Ok Lee ; Jong-Seok Kim ; Eunseuk Oh
Sequential Consistency as Lazy Linearizability / Michel Raynal
Embedding Full Ternary Trees into Recursive Circulants / Cheol Kim ; Jung Choi
Wireless Communication Technology III
A Handoff Priority Scheme for TDMA/FDMA-Based Cellular Networks / Sun-Woo Lee
On Delay Times in a Bluetooth Piconet: The Impact of Different Scheduling Policies / Jelena Mišić ; Vojislav B. Mišić
Intelligent Paging Strategy in 3G Personal Communication Systems / I. Saha Misra ; S. Karmakar ; M.S. Mahapatra ; P.S. Bhattacharjee ; D. Saha ; A. Mukhertjee
Experience from Mobile Application Service Framework in WIP / Shinyoung Lim ; Youjin Song
An Efficient Approach to Improve TCP Performance over Wireless Networks / Satoshi Utsumi ; Salahuddin M.S. Zabir ; Norio Shiratori
Extended Hexagonal Constellations as a Means of Multicarrier PAPR Reduction / Ali Pezeshk ; Babak H. Khalaj
Software Engineering II
Adaptive Application-Centric Management in Meta-computing Environments
The Weakest Failure Detector for Solving Election Problems in Asynchronous Distributed Systems / Sung-Hoon Park
From Lens to Flow Structure / David Fauthoux ; Jean-Paul Bahsoun
ADML: A Language for Automatic Generation of Migration Plans / Jennifer Pérez ; José A. Carsí ; Isidro Ramos
Considerations for Using Domain-Specific Modeling in the Analysis Phase of Software Development Process / Kalle Korhonen
Organizations and Normative Agents / Virginia Dignum ; Frank Dignum
A Framework for Agent-Based Software Development / Behrouz Homayoun Far
Application of Agent Technologies in Extended Enterprise Production Planning / V. Marík ; M. Pechoucek ; J. Vokrínek ; A. Ríha
Zamin: An Artificial Ecosystem / Ramin Halavati
Author Index
Artificial Intelligence I
Speaker Model and Decision Threshold Updating in Speaker Verification / M. Mehdi Homayounpour
Application of Constraint Hierarchy to Timetabling Problems / Tatyana Yakhno ; Evren Tekin
Program Generation, Termination, and Binding-Time Analysis / Neil D. Jones ; Arne J. Glenstrup
Generative Programming for Embedded Systems / Janos Sztipanovits ; Gabor Karsai
Regular Papers
Self Reflection for Adaptive Programming / Giuseppe Attardi ; Antonio Cisternino
DataScript - A Specification and Scripting Language for Binary Data / Godmar Back
Memoization in Type-Directed Partial Evaluation / Vincent Balat ; Olivier Danvy
A Protocol Stack Development Tool Using Generative Programming / Michel Barbeau ; Francis Bordeleau
Building Composable Aspect-Specific Languages with Logic Metaprogramming / Johan Brichau ; Kim Mens ; Kris De Volder
Architectural Refactoring in Framework Evolution: A Case Study / Greg Butler
Towards a Modular Program Derivation via Fusion and Tupling / Wei-Ngan Chin ; Zhenjiang Hu
Generative Programming for Embedded Software: An Industrial Experience Report / Krzysztof Czarnecki ; Thomas Bednasch ; Peter Unger ; Ulrich Eisenecker
A Framework for the Detection and Resolution of Aspect Interactions / Remi Douence ; Pascal Fradet ; Mario Sudholt
Aspect-Oriented Modeling: Bridging the Gap between Implementation and Design / Tzilla Elrad ; Omar Aldawud ; Atef Bader
Macros That Compose: Systematic Macro Programming / Oleg Kiselyov
Program Termination Analysis in Polynomial Time / Chin Soon Lee
Generators for Synthesis of QoS Adaptation in Distributed Real-Time Embedded Systems / Sandeep Neema ; Ted Bapty ; Jeff Gray ; Aniruddha Gokhale
Optimizing Content Management System Pipelines (Separation and Merging of Concerns) / Markus Noga ; Florian Krüper
Component-Based Programming for Higher-Order Attribute Grammars / João Saraiva
Security of Public Watermarking Schemes for Binary Sequences / Qiming Li ; Ee-Chien Chang
Watermarking Algorithms I / Hyoung Joong KimSession 4:
Direct Embedding and Detection of RST Invariant Watermarks / Peter A. Fletcher ; Kieran G. Larkin
Robust Image Watermark Using Radon Transform and Bispectrum Invariants / Hyung-Shin Kim ; Yunju Baek ; Heung-Kyu Lee ; Young-Ho Suh
Audio Watermark Robustness to Desynchronization via Beat Detection / Darko Kirovski ; Hagai Attias
Watermarking Algorithms II / Ton KalkerSession 5:
Robust Watermarking and Affine Registration of 3D Meshes / Oliver Benedens
Natural Language Watermarking and Tamperproofing / Mikhail J. Atallah ; Victor Raskin ; Christian F. Hempelmann ; Mercan Karahan ; Radu Sion ; Umut Topkara ; Katrina E. Triezenberg
Attacks on Watermarking Algorithms / Fabien A. P. PetitcolasSession 6:
Cryptanalysis of UCLA Watermarking Schemes for Intellectual Property Protection / Tri Van Le ; Yvo Desmedt
Cryptanalysis of Discrete-Sequence Spread Spectrum Watermarks / M. Kivanc Mihcak ; Ramarathnam Venkatesan ; Mustafa Kesal
Detectors for Echo Hiding Systems / Scott Craver ; Bede Liu ; Wayne Wolf
Linear Complexity and Related Complexity Measures for Sequences / H. Niederreiter
Forensic Computing / X. Li ; J. Seberry
Stream Cipher
Hiji-bij-bij: A New Stream Cipher with a Self-synchronizing Mode of Operation / P. Sarkar
Analysis of Non-fortuitous Predictive States of the RC4 Keystream Generator / S. Paul ; B. Preneel
Block Cipher
Nonlinearity Properties of the Mixing Operations of the Block Cipher IDEA / H.M. Yildirim
Impossible Differential Cryptanalysis for Block Cipher Structures / J. Kim ; S. Hong ; J. Sung ; S. Lee ; J. Lim ; S. Sung
Impossible Differential Attack on 30-Round SHACAL-2 / G. Kim ; C. Lee
Boolean Function
Construction of Perfect Nonlinear and Maximally Nonlinear Multi-output Boolean Functions Satisfying Higher Order Strict Avalanche Criteria / K.C. Gupta
Improved Cost Function in the Design of Boolean Functions Satisfying Multiple Criteria / S. Kavut ; M.D. Yücel
Secrect Sharing
On Multiplicative Linear Secret Sharing Schemes / V. Nikov ; S. Nikova
A New (2,n)-Visual Threshold Scheme for Color Images / A. Adhikari ; S. Sikdar
On the Power of Computational Secret Sharing / V. Vinod ; A. Narayanan ; K. Srinathan ; C.P. Rangan ; K. Kim
Bilinear Pairing
Identity-Based Broadcasting / Y. Mu ; W. Susilo ; Y.-X. Lin
Efficient Verifiably Encrypted Signature and Partially Blind Signature from Bilinear Pairings / F. Zhang ; R. Safavi-Naini
Extending Joux's Protocol to Multi Party Key Agreement / R. Barua ; R. Dutta
Public Key
Public Key Cryptosystems Based on Free Partially Commutative Monoids and Groups / P.J. Abisha ; D.G. Thomas ; K.G. Subramanian
Prime Numbers of Diffie-Hellman Groups for IKE-MODP / I. Yie ; S. Lim ; S. Kim ; D. Kim
Polynomial Equivalence Problems and Applications to Multivariate Cryptosystems / F. Levy-dit-Vehel ; L. Perret
Signature Scheme
Security Analysis of Several Group Signature Schemes / G. Wang
Forking Lemmas for Ring Signature Schemes / J. Herranz ; G. Saez
Protocol
Practical Mental Poker Without a TTP Based on Homomorphic Encryption / J. Castellà-Roca ; J. Domingo-Ferrer ; A. Riera ; J. Borrell
Lightweight Mobile Credit-Card Payment Protocol / S. Kungpisdan ; B. Srinivasan ; P.D. Le
Elliptic Curve & Algebraic Geometry
On the Construction of Prime Order Elliptic Curves / E. Konstantinou ; Y.C. Stamatiou ; C. Zaroliagis
Counting Points on an Abelian Variety over a Finite Field / F.A. Izadi ; V.K. Murty
Implementation & Digital Watermarking
Side Channel Attack on Ha-Moon's Countermeasure of Randomized Signed Scalar Multiplication / K. Okeya ; D.-G. Han
Systolic and Scalable Architectures for Digit-Serial Multiplication in Fields GF(pm) / G. Bertoni ; J. Guajardo ; G. Orlando
Cryptanalysis of Block Based Spatial Domain Watermarking Schemes / T.K. Das
Authentication
More Efficient Password Authenticated Key Exchange Based on RSA / D.S. Wong ; A.H. Chan ; F. Zhu
A Password-Based Authenticator: Security Proof and Applications / Y. Hitchcock ; Y.S.T. Tin ; J.M. Gonzalez-Nieto ; C. Boyd ; P. Montague
Stronger Security Bounds for OMAC, TMAC, and XCBC / T. Iwata ; K. Kurosawa
Progressive Verification: The Case of Message Authentication / M. Fischlin
Author Index
Invited Talks
Linear Complexity and Related Complexity Measures for Sequences / H. Niederreiter
Design and Implementation of the TrustedBSD MAC Framework / R. Watson ; B. Feldman ; A. Migus ; C. Vance
Defcon Capture the Flag: Defending Vulnerable Code from Intense Attack / C. Cowan ; S. Arnold ; S. Beattie ; C. Wright ; J. Viega
Cyber Panel
Finding the Vocabulary of Program Behavior Data for Anomaly Detection / C. Michael
Detecting Spoofed Packets / S. Templeton ; K. Levitt
Modeling Multistep Cyber Attacks for Scenario Recognition / S. Cheung ; U. Lindqvist ; M. Fong
Cooperative Response Strategies for Large Scale Attack Mitigation / D. Nojiri ; J. Rowe
Dynamic Coalitions (DC)
Dynamic Authorization and Intrusion Response in Distributed Systems / T. Ryutov ; C. Neuman ; D. Kim
The STRONGMAN Architecture / A. Keromytis ; S. Ioannidis ; M. Greenwald ; J. Smithy
Dynamic PKI and Secure Tuplespaces for Distributed Coalitions / T. Smith ; G. Byrd ; X. Wu ; H. Xin ; K. Thangavelu ; R. Wang ; A. Shah
RT: A Role-Based Trust-Management Framework / N. Li ; J. Mitchell
Scaling Secure Group Communication Systems: Beyond Peer-to-Peer / Y. Amir ; C. Nita-Rotaru ; J. Stanton ; G. Tsudik
MuCAPSL / J. Millen ; G. Denker
Leader Election Algorithms for Wireless Ad Hoc Networks / S. Vasudevan ; B. DeCleene ; N. Immerman ; J. Kurose ; D. Towsley
Fault Tolerant Networking (FTN)
COSSACK: Coordinated Suppression of Simultaneous Attacks / C. Papadopoulos ; R. Lindell ; J. Mehringer ; A. Hussain ; R. Govindan
NetBouncer: Client-Legitimacy-Based High-Performance DDoS Filtering / R. Thomas ; B. Mark ; T. Johnson ; J. Croall
Analyzing Interaction between Distributed Denial of Service Attacks and Mitigation Technologies / W. Blackert ; D. Gregg ; A. Castner ; E. Kyle ; R. Hom ; R. Jokerst
Design and Analysis of an IP-Layer Anonymizing Infrastructure / H. Kung ; C. Cheng ; K. Tan ; S. Bradner
Prophylactic, Treatment and Containment Techniques for Ensuring Active Network Security / S. Murphy ; A. Hayatnagarkar ; S. Krishnaswamy ; W. Morrison
Understanding BGP Behavior through a Study of DoD Prefixes / X. Zhao ; D. Massey ; S. Wu ; M. Lad ; D. Pei ; L. Wang ; L. Zhang
Efficient Alarm Management in Optical Networks / S. Stanic ; S. Subramaniam ; H. Choi ; G. Sahin
Interactions Between TCP and the IEEE 802.11 MAC Protocol / R. Jiang ; V. Gupta ; C. Ravishankar
Statistical Approaches to DDoS Attack Detection and Response / L. Feinstein ; D. Schnackenberg ; R. Balupari ; D. Kindred
Organic and Survivable Information Systems (OASIS)
Towards a Rigorous Definition of Information System Survivability / J. Knight ; E. Strunk ; K. Sullivan
Intrusion Tolerance via Network Layer Controls / D. O'Brien ; R. Smith ; T. Kappel ; C. Bitzer
Operational Experimentation (OPX)
Lessons Learned in Using Live Red Teams in IA Experiments / D. Levin
Surveillance Detection in High Bandwidth Environments / S. Robertson ; E. Siegel ; M. Miller ; S. Stolfo
Detecting Novel Scans through Pattern Anomaly Detection / A. Valdes
Author Index
DARPA Information Survivability Conference and Exposition--DISCEX 2003 / Volume II:
Foreword
Acknowledgments
Demonstration Abstracts / Part I:
Open-Source PKI on SELinux--A Technology Description / E. Bubnis ; S. Evans ; P. Fischer ; E. Meighan ; A. Almeida
Demonstration of COSAK Static Analysis Tools / D. DaCosta ; C. Dahn ; S. Mancoridis ; V. Prevelakis
MYSEA Technology Demonstration / C. Irvine ; D. Shifflett ; P. Clark ; T. Levin ; G. Dinolt
The TrustedBSD MAC Framework
Visualization as an Aid for Assessing the Mission Impact of Information Security Breaches / A. D'Amico ; S. Salas
A Controller-Based Autonomic Defense System / D. Armstrong ; S. Carter ; G. Frazier ; T. Frazier
Scyllarus Intrusion Detection Report Correlator and Analyzer / W. Heimerdinger
System Health and Intrusion Monitoring: Technology Description / C. Ko
CIRCADIA Demonstration: Active Adaptive Defense / D. Musliner
An Integrated Cyber Panel System / L. Tinnel ; O. Saydjari ; J. Haines
Intelligence Preparation of the Information Battlespace (IPIB) / J. Williams
Integrated Security Services for Dynamic Coalitions / H. Khurana ; S. Gavrila ; R. Bobba ; R. Koleva ; A. Sonalker ; E. Dinu ; V. Gligor ; J. Baras
Key Management for Secure Multicast Group Communication in Mobile Networks / T. Kostas ; D. Kiwior ; G. Rajappan ; M. Dalal
Antigone: Policy-Based Secure Group Communication System and AmirD: Antigone-Based Secure File Mirroring System / J. Irrer ; A. Prakash ; P. McDaniel
Federated Security Management for Dynamic Coalitions / S. Bhatt ; S. Rajagopalan ; P. Rao
TrustBuilder: Negotiating Trust in Dynamic Coalitions / K. Seamons ; T. Chan ; E. Child ; M. Halcrow ; A. Hess ; J. Holt ; J. Jacobson ; R. Jarvis ; A. Patty ; B. Smith ; T. Sundelin ; L. Yu
Yalta: A Dynamic PKI and Secure Tuplespaces for Distributed Coalitions
A Toolkit for Building Secure, Fault-Tolerant Virtual Private Networks / W. Stephens ; B. Coan ; S. Narain ; V. Kaul ; K. Parmeswaran ; T. Cheng
Distributed Data Authentication / M. Goodrich ; M. Shin ; C. Straub ; R. Tamassia
Automated Trust Negotiation Technology with Attribute-Based Access Control / W. Winsborough ; J. Jacobs
Fault Tolerant Networks (FTN)
The Wackamole Approach to Fault Tolerant Networks / R. Caudy ; A. Munjal ; T. Schlossnagle ; C. Tutu
Distributed Denial of Service Defense Attack Tradeoff Analysis (DDOS-DATA)
NCAC: Network Congestion Analyzer and Controller
DDoS Tolerant Networks
Guaranteed Internet Stack Utilization (GINSU) Building Blocks / R. Knobbe ; A. Purtell
ANON: An IP-Layer Anonymizing Infrastructure
Distributed Embedded Firewalls with Virtual Private Groups / T. Markham ; L. Meredith ; C. Payne
Fault-Tolerant Mesh of Trust Applied to DNS Security / W. Griffin ; R. Mundy ; S. Weiler ; N. Vora
Demonstration of Fault Tolerance for CORBA Applications / L. Moser ; M. Melliar-Smith
Dynamic Trust-Based Resource Allocation / T. Hughes ; M. Junod ; P. Muckelbauer
Active Network Fault Response
Scalable DDoS Protection Using Route-Based Filtering / K. Park
Techniques for Intrusion-Resistant Ad Hoc Routing Algorithms (TIARA) / R. Ramanujan ; S. Kudige ; T. Nguyen
DefCOM: Defensive Cooperative Overlay Mesh / M. Robinson ; J. Mirkovic ; S. Michel ; M. Schnaider ; P. Reiher
Improving Failure Responsiveness in Jini Leasing / S. Rose ; K. Bowers ; S. Quirolgico ; K. Mills
SPIE Demonstration: Single Packet Traceback / W. Strayer ; C. Jones ; F. Tchakountio ; A. Snoeren ; B. Schwartz ; R. Clements ; M. Condell ; C. Partridge
Onion Routing for Resistance to Traffic Analysis / P. Syverson
TetherNet Anti-NAT--Secure Internet Subnet Rental System / H. Zhu ; T. Huck ; J. Touch ; L. Eggert ; Y. Wang
Organically Assured and Survivable Information Systems (OASIS)
Safe Email, Safe Office, and Safe Web Browser / R. Balzer
Access Control on the Web Using Proof-Carrying Authorization / L. Bauer ; M. Schneider ; E. Felten ; A. Appel
Enterprise Wrappers for Information Assurance / M. Feldman
Willow System Demonstration / J. Hill ; P. Varner ; A. Wolf ; D. Heimbigner ; P. Devanbu
Camouflage of Network Traffic to Resist Attack (CONTRA) / W. Weinstein ; J. Lepanto
Dependable Intrusion Tolerance: Technology Demo / M. Almgren ; Y. Deswarte ; B. Dutertre ; J. Levy ; H. Saidi ; V. Stavridou ; T. Uribe
ITDB: An Attack Self-Healing Database System Prototype / P. Liu
Intrustion Tolerant Web Servers via Network Layer Controls
Demonstrating Intrusion Tolerance with ITUA / P. Pal
VPNshield: Protecting VPN Services from Denial-of-Service (DoS) Attacks / M. Kaddoura ; J. Wu ; C. Sanders ; K. Millikin
On-Line Attack Prevention and Continual Recovery / J. Reynolds
An Aspect-Oriented Security Solution / V. Shah ; F. Hill
OmniVPN / J. Shukla
Efficient Code Certification for Open Firmware / M. Stillerman ; D. Kozen
Intrusion Tolerant Distributed Object Systems / G. Tally ; B. Whitmore ; D. Sames ; B. Matt ; B. Niebuhr ; D. Bakken
SPMA--Java Binary Enhancement Tool / T. Van Vleck ; A. Reisse
SITAR: A Scalable Intrusion-Tolerant Architecture for Distributed Services / F. Wang ; R. Uppalli
System Detection's Hawkeye Platform
Research Summaries / Part II:
Modeling Security-Enhanced Linux Policy Specifications for Analysis / M. Archer ; E. Leonard ; M. Pradella
Open-Source PKI on SELinux
Monterey Security Enhanced Architecture Project
Achieving Principled Assuredly Trustworthy Composable Systems and Networks / P. Neumann
Enhancing ReiserFS Security in Linux / H. Reiser
LLSIM: Network Simulation for Correlation and Response Testing / S. Goulet ; R. Durst ; T. Champion
System Health and Intrusion Monitoring (SHIM): Project Summary
Predicting the Impact of Cyber-Attacks on BMC[subscript 3] Enterprises / J. Shaw
A Framework for Automated Negotiation of Access Control Policies / V. Bharadwaj
Recommendations in Using Group Key Management Algorithms / W. Chen ; L. Dondeti
DyCER: A Lightweight Data Sharing System Using Replication / J. Kay ; S. Crocker
A Flexible Architecture for Security Policy Enforcement
Trust Negotiation in Dynamic Coalitions / M. Winslett ; T. Yu
Efficient and Scalable Infrastructure Support for Dynamic Coalitions
Automated Trust Negotiation in Attribute-Based Access Control
A Summary of the Autonomic Distributed Firewalls (ADF) Project
Traceback of Single IP Packets Using SPIE
DynaBone: Dynamic Defense Using Multi-Layer Internet Overlays / G. Finn
A Summary of Detection of Denial-of-QoS Attacks on DiffServ Networks / V. Mahadik ; D. Reeves
Engineering a Distributed Intrusion Tolerant Database System Using COTS Components
EMT/MET: Systems for Modeling and Detecting Errant Email / S. Hershkop ; K. Wang ; O. Nimeskern
Papers by Program Order / Volume I:
Composable High Assurance Trusted Systems (CHATS)
Design and Implementation of the TrustedBSD MAC Framework / R. Watson ; B. Feldman ; A. Migus ; C. Vance
Towards Using Possibilistic Information Flow Control to Design Secure Multiagent Systems / Axel Schairer
Authentication and Trust
Authentication for Pervasive Computing / Sadie Creese ; Michael Goldsmith ; Bill Roscoe ; Irfan Zakiuddin
End-to-End Trust Starts with Recognition / Jean-Marc Seigneur ; Stephen Farrell ; Christian Damsgaard Jensen ; Elizabeth Gray ; Yong Chen
Embedding Distance-Bounding Protocols within Intuitive Interactions / Laurent Bussard and Yves Roudier
Secure Infrastructures
Trust Context Spaces: An Infrastructure for Pervasive Security in Context-Aware Environments / Philip Robinson ; Michael Beigl
Time Constraint Delegation for P2P Data Decryption / Tie-Yan Li
SAOTS: A New Efficient Server Assisted Signature Scheme for Pervasive Computing / Kemal Bicakci ; Nazife Baykal
Smart Labels
Security and Privacy Aspects of Low-Cost Radio Frequency Identification Systems / Stephen A. Weis ; Sanjay E. Sarma ; Ronald L. Rivest ; Daniel W. Engels
Verification
Implementing a Formally Verifiable Security Protocol in Java Card / Engelbert Hubbers ; Martijn Oostdijk ; Erik Poll
Hardware Architectures
Cellular Automata Based Multiplier for Public-Key Cryptosystem / Hyun-Sung Kim ; Kee-Young Yoo
Enlisting Hardware Architecture to Thwart Malicious Code Injection / Ruby B. Lee ; David K. Karig ; John P. McGregor ; Zhijie Shi
Optimized RISC Architecture for Multiple-Precision Modular Arithmetic / Johann Großschadl ; Guy-Armand Kamendje
A Generalized Wiener Attack on RSA Johannes Bloemer and Alexander May 1
Cryptanalysis of a Public-Key Encryption Scheme Based on the Polynomial Reconstruction Problem Jean-Sebastien Coron 14
Faster Scalar Multiplication on Koblitz Curves Combining Point Halving with the Frobenius Endomorphism Roberto Maria Avanzi, Mathieu Ciet, and Francesco Sica 28
Application of Montgomery's Trick to Scalar Multiplication for Elliptic and Hyperelliptic Curves Using a Fixed Base Point Pradeep Kumar Mishra and Palash Sarkar 41
Fast Arithmetic on Jacobians of Picard Curves Stephane Flon and Roger Oyono 55
Undeniable Signatures Based on Characters: How to Sign with One Bit Jean Monnerat and Serge Vaudenay 69
Efficient Extension of Standard Schnorr/RSA Signatures into Universal Designated-Verifier Signatures Ron Steinfeld, Huaxiong Wang, and Josef Pieprzyk 86
Constructing Committed Signatures from Strong-RSA Assumption in the Standard Complexity Model Huafei Zhu 101
Constant Round Authenticated Group Key Agreement via Distributed Computation Emmanuel Bresson and Dario Catalano 115
Efficient ID-based Group Key Agreement with Bilinear Maps Kyu Young Choi, Jung Yeon Hwang, and Dong Hoon Lee 130
New Security Results on Encrypted Key Exchange Emmanuel Bresson, Olivier Chevassut, and David Pointcheval 145
New Results on the Hardness of Diffie-Hellman Bits Maria Isabel Gonzalez Vasco, Mats Naeslung, and Igor E. Shparlinski 159
Short Exponent Diffie-Hellman Problems Takeshi Koshiba and Kaoru Kurosawa 173
Efficient Signcryption with Key Privacy from Gap Diffie-Hellman Groups Benoit Libert and Jean-Jacques Quisquater 187
Algebraic Attacks over GF(2k), Application to HFE Challenge 2 and Sflash-v2 Nicolas T. Courtois 201
Secret Exponent Attacks on RSA-type Schemes with Moduli N=Prq Alexander May 218
General Group Authentication Codes and Their Relation to "Unconditionally-Secure Signatures" Reihaneh Safavi-Naini, Luke McAven, and Moti Yung 231
From Digital Signature to ID-based Identification/Signature Kaoru Kurosawa and Swee-Huay Heng 248
Identity-Based Threshold Decryption Joonsang Baek and Yuliang Zheng 262
An Efficient Signature Scheme from Bilinear Pairings and Its Applications Fangguo Zhang, Reihaneh Safavi-Naini, and Willy Susilo 277
An RSA Family of Trap-Door Permutations with a Common Domain and Its Applications Ryotaro Hayashi, Tatsuaki Okamoto, and Keisuke Tanaka 291
A New Variant of the Matsumoto-Imai Cryptosystem through Perturbation Jintai Ding 305
Efficient, Verifiable Shuffle Decryption and Its Requirement of Unlinkability Jun Furukawa 319
A Point Compression Method for Elliptic Curves Defined over GF(2n) Brian King 333
On the Optimal Parameter Choice for Elliptic Curve Cryptosystems Using Isogeny Toru Akishita and Tsuyoshi Takagi 346
On the Security of Multiple Encryption or CCA-security+CCA-security=CCA-security? Rui Zhang, Goichiro Hanaoka, Junji Shikata, and Hideki Imai 360
QuasiModo: Efficient Certificate Validation and Revocation Farid F. Elwailly, Craig Gentry, and Zulfikar Ramzan 375
A Distributed Online Certificate Status Protocol with a Single Public Key Satoshi Koga and Kouichi Sakurai 389
A First Approach to Provide Anonymity in Attribute Certificates Vicente Benjumea, Javier Lopez, Jose A. Montenegro, and Jose M. Troya 402
A Nonuniform Algorithm for the Hidden Number Problem in Subgroups Igor E. Shparlinski and Arne Winterhof 416
Cryptographic Randomized Response Techniques Andris Ambainis, Markus Jakobsson, and Helger Lipmaa 425
A Correct, Private, and Efficient Mix Network Kun Peng, Colin Boyd, Ed Dawson, and Kapali Viswanathan 439
Author Index 455
A Generalized Wiener Attack on RSA Johannes Bloemer and Alexander May 1
Cryptanalysis of a Public-Key Encryption Scheme Based on the Polynomial Reconstruction Problem Jean-Sebastien Coron 14
Faster Scalar Multiplication on Koblitz Curves Combining Point Halving with the Frobenius Endomorphism Roberto Maria Avanzi, Mathieu Ciet, and Francesco Sica 28
Enhanced Correlation in an Intrusion Detection Process / S. Benferhat ; F. Autrel ; F. Cuppens
Safeguarding SCADA Systems with Anomaly Detection / J. Bigham ; D. Gamez ; N. Lu
Experiments with Simulation of Attacks against Computer Networks / I. Kotenko ; E. Man'kov
Detecting Malicious Codes by the Presence of Their "Gene of Self-replication" / V.A. Skormin ; D.H. Summerville ; J.S. Moronski
Automatic Generation of Finite State Automata for Detecting Intrusions Using System Call Sequences / K. Wee ; B. Moon
Public Key Distribution, Authentication, Access Control
Distributed Access Control: A Logic-Based Approach / S. Barker
Advanced Certificate Status Protocol / D.H. Yum ; J.E. Kang ; P.J. Lee
Key History Tree: Efficient Group Key Management with Off-Line Members / A. Lain ; V. Borisov
A Certificate Status Checking Protocol for the Authenticated Dictionary / J.L. Munoz ; J. Forne ; O. Esparza ; M. Soriano
Context-Dependent Access Control for Web-Based Collaboration Environments with Role-Based Approach / R. Wolf ; M. Schneider
Cryptography
A Signcryption Scheme Based on Secret Sharing Technique / M. Al-Ibrahim
A Zero-Knowledge Identification Scheme Based on an Average-Case NP-Complete Problem / P. Caballero-Gil ; C. Hernández-Goya
Linear Cryptanalysis on SPECTR-H64 with Higher Order Differential Property / Y.D. Ko ; D.J. Hong ; S.H. Hong ; S.J. Lee ; J.L. Lim
Achieveability of the Key-Capacity in a Scenario of Key Sharing by Public Discussion and in the Presence of Passive Eavesdropper / V. Korzhik ; V. Yakovlev ; A. Sinuk
On Cipher Design Based on Switchable Controlled Operations / N.A. Moldovyan
Elliptic Curve Point Multiplication / A. Rostovtsev ; E. Makhovenko
Encryption and Data Dependent Permutations: Implementation Cost and Performance Evaluation / N. Sklavos ; A.A. Moldovyan ; O. Koufopavlou
Steganography
Simulation-Based Exploration of SVD-Based Technique for Hidden Communication by Image Steganography Channel / V. Gorodetsky ; V. Samoilov
Detection and Removal of Hidden Data in Images Embedded with Quantization Index Modulation / K. Zhang ; S. Wang ; X. Zhang
Digital Watermarking under a Filtering and Additive Noise Attack Condition / V. Korzhik, G ; . Morales-Luna ; I. Marakova ; C. Patino-Ruvalcaba
Data Hiding in Digital Audio by Frequency Domain Dithering
Steganography with Least Histogram Abnormality
Multi-bit Watermarking Scheme Based on Addition of Orthogonal Sequences
Short Papers
Authentication of Anycast Communication / A. Cerny
Two-Stage Orthogonal Network Incident Detection for the Adaptive Coordination with SMTP Proxy / R. Ando ; Y. Takefuji
Construction of the Covert Channels / A. Grusho ; E. Timonina
Privacy and Data Protection in Electronic Communications / L. Mitrou ; K. Moulinos
Multiplier for Public-Key Cryptosystem Based on Cellular Automata / H.S. Kim ; S.H. Hwang
A Game Theoretic Approach to Analysis and Design of Survivable and Secure Systems and Protocols / S. Kumar ; V. Marbukh
Alert Triage on the ROC / F.J. Martin ; E. Plaza
Fast Ciphers for Cheap Hardware: Differential Analysis of SPECTR-H64 / N.D. Goots ; B.V. Izotov
Immunocomputing Model of Intrusion Detection / Y. Melnikov ; A. Tarakanov
Agent Platform Security Architecture / G. Santana ; L.B. Sheremetov ; M. Contreras
Support Vector Machine Based ICMP Covert Channel Attack Detection / T. Sohn ; T. Noh ; J. Moon
Computer Immunology System with Variable Configuration / S.P. Sokolova ; R.S. Ivlev
Author Index
Invited Papers
ForNet: A Distributed Forensics Network / K. Shanmugasundaram ; N. Memon ; A. Savant ; H. Bronnimann
Usage Control: A Vision for Next Generation Access Control / R. Sandhu ; J. Park