4. ICISS 2008:
Hyderabad, India
R. Sekar, Arun K. Pujari (Eds.):
Information Systems Security, 4th International Conference, ICISS 2008, Hyderabad, India, December 16-20, 2008. Proceedings.
Lecture Notes in Computer Science 5352 Springer 2008, ISBN 978-3-540-89861-0
Keynote Address
Languages and Formal Methods
- Deepak D'Souza, Raveendra Holla, Janardhan Kulkarni, Raghavendra K. Ramesh, Barbara Sprick:
On the Decidability of Model-Checking Information Flow Properties.
26-40

- Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier:
Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties.
41-55

- Dave King, Boniface Hicks, Michael Hicks, Trent Jaeger:
Implicit Flows: Can't Live with 'Em, Can't Live without 'Em.
56-70

Protocols
Short Papers
Keynote Address
Ongoing Research
Keynote Address
Intrusion Detection
Biometrics, Forensics and Steganography
Practical Applications
Keynote Address
- Basant Rajan:
The Enlightened Era of Enterprise Security (Invited Talk).
303-305

Last update Sun May 19 22:37:39 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page