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 2008, ISBN 978-3-540-89861-0 BibTeX

Keynote Address

Deepak D'Souza, Raveendra Holla, Janardhan Kulkarni, Raghavendra K. Ramesh, Barbara Sprick:
On the Decidability of Model-Checking Information Flow Properties. 26-40
Electronic Edition (link) BibTeX
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier:
Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties. 41-55
Electronic Edition (link) BibTeX
Dave King, Boniface Hicks, Michael Hicks, Trent Jaeger:
Implicit Flows: Can't Live with 'Em, Can't Live without 'Em. 56-70
Electronic Edition (link) BibTeX

Frédéric Cuppens, Nora Cuppens-Boulahia, Julien A. Thomas:
A Robust Reputation Scheme for Decentralized Group Management Systems. 71-85
Electronic Edition (link) BibTeX
Zhiyao Liang, Rakesh M. Verma:
Complexity of Checking Freshness of Cryptographic Protocols. 86-101
Electronic Edition (link) BibTeX
Lukasz Nitschke:
Secure Internet Voting Based on Paper Ballots. 102-115
Electronic Edition (link) BibTeX

Duc-Phong Le, Alexis Bonnecaze, Alban Gabillon:
A Secure Round-Based Timestamping Scheme with Absolute Timestamps (Short Paper). 116-123
Electronic Edition (link) BibTeX
Sasikanth Avancha:
A Framework for Trustworthy Service-Oriented Computing (Short Paper). 124-131
Electronic Edition (link) BibTeX
Manik Lal Das, Ravi Mukkamala:
Revisiting Bluetooth Security (Short Paper). 132-139
Electronic Edition (link) BibTeX
Samrat Mondal, Shamik Sural:
A Verification Framework for Temporal RBAC with Role Hierarchy (Short Paper). 140-147
Electronic Edition (link) BibTeX

Amit Sahai:
Computing on Encrypted Data. 148-153
Electronic Edition (link) BibTeX

Neelam Verma, Prasanna R. Mishra, Gireesh Pandey:
Identification of Cryptographically Strong and Weak Pseudorandom Bit Generators. 154-155
Electronic Edition (link) BibTeX
N. R. Sunitha, B. B. Amberker:
Proxy Re-signature Schemes. 156-157
Electronic Edition (link) BibTeX

Randy Smith, Cristian Estan, Somesh Jha, Ida Siahaan:
Fast Signature Matching Using Extended Finite Automaton (XFA). 158-172
Electronic Edition (link) BibTeX

Gianni Tedesco, Uwe Aickelin:
Real-Time Alert Correlation with Type Graphs. 173-187
Electronic Edition (link) BibTeX
Patrick Düssel, Christian Gehl, Pavel Laskov, Konrad Rieck:
Incorporation of Application Layer Protocol Syntax into Anomaly Detection. 188-202
Electronic Edition (link) BibTeX
Luca Foschini, Ashish V. Thapliyal, Lorenzo Cavallaro, Christopher Kruegel, Giovanni Vigna:
A Parallel Architecture for Stateful, High-Speed Intrusion Detection. 203-220
Electronic Edition (link) BibTeX

Umarani Jayaraman, Surya Prakash, Phalguni Gupta:
Indexing Multimodal Biometric Databases Using Kd-Tree with Feature Level Fusion. 221-234
Electronic Edition (link) BibTeX
Vivekananda Bhat K., Indranil Sengupta, Abhijit Das:
Audio Watermarking Based on Quantization in Wavelet Domain. 235-242
Electronic Edition (link) BibTeX
Craig Wright, Dave Kleiman, Shyaam Sundhar R. S.:
Overwriting Hard Drive Data: The Great Wiping Controversy. 243-257
Electronic Edition (link) BibTeX

Devesh Jinwala, Dhiren Patel, Kankar Dasgupta:
Optimizing the Block Cipher and Modes of Operations Overhead at the Link Layer Security Framework in the Wireless Sensor Networks. 258-272
Electronic Edition (link) BibTeX
Enkh-Amgalan Baatarjav, Ram Dantu, Santi Phithakkitnukoon:
Privacy Management for Facebook. 273-286
Electronic Edition (link) BibTeX
Ludwig Fuchs, Günther Pernul:
HyDRo - Hybrid Development of Roles. 287-302
Electronic Edition (link) BibTeX

Basant Rajan:
The Enlightened Era of Enterprise Security (Invited Talk). 303-305
Electronic Edition (link) BibTeX