Harvard |

Harvard

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/009254720/catalog> ?p ?o. }

Showing items 1 to 25 of 25 with 100 items per page.

catalog contributor b13053942.
catalog contributor b13053943.
catalog contributor b13053944.
catalog created "2003.".
catalog date "2003".
catalog date "2003.".
catalog dateCopyrighted "2003.".
catalog description "An Improved Reference Flow Control Model for Policy-Based Intrusion Detection / Jacob Zimmermann, Ludovic Me and Christophe Bidan -- Visualisation for Intrusion Detection / Stefan Axelsson -- On the Detection of Anomalous System Call Arguments / Christopher Kruegel, Darren Mutz, Fredrik Valeur and Giovanni Vigna.".
catalog description "Includes bibliographical references and index.".
catalog description "Signature and Access Control Policies for XML Documents / Elisa Bertino, Elena Ferrari and Loredana Parasiliti Provenza -- Authorization and Access Control in Adaptive Workflows / Dulce Domingos, Antonio Rito-Silva and Pedro Veiga -- Flexible Regulation of Distributed Coalitions / Xuhui Ao and Naftaly H. Minsky -- Initiator-Resilient Universally Composable Key Exchange / Dennis Hofheinz, Jorn Muller-Quade and Rainer Steinwandt -- Multi-round Secure Light-Weight Broadcast Exclusion Protocol with Pre-processing / Yuji Watanabe and Masayuki Numao -- Precisely Answering Multi-dimensional Range Queries without Privacy Breaches / Lingyu Wang, Yingjiu Li, Duminda Wijesekera and Sushil Jajodia -- Passive Attack Analysis for Connection-Based Anonymity Systems / Andrei Serjantov and Peter Sewell -- Rapid Mixing and Security of Chaum's Visual Electronic Voting / Marcin Gomulkiewicz, Marek Klonowski and Miroslaw Kutylowski -- Towards Accountable Management of Privacy and Identity Information / Marco Casassa Mont, Siani Pearson and Pete Bramhall -- A Toolkit for Managing Enterprise Privacy Policies / Michael Backes, Birgit Pfitzmann and Matthias Schunter -- Authenticating Mandatory Access Controls and Preserving Privacy for a High-Assurance Smart Card / Helmut Scherzer, Ran Canetti, Paul A. Karger, Hugo Krawczyk, Tal Rabin and David C. Toll -- Hardware Encapsulation of Security Services / Adrian Baldwin and Simon Shiu -- A Formal Security Model of the Infineon SLE 88 Smart Card Memory Management / David von Oheimb, Georg Walter and Volkmar Lotz -- Bridging Model-Based and Language-Based Security / Rogardt Heldal and Fredrik Hultin -- An On-the-Fly Model-Checker for Security Protocol Analysis / David Basin, Sebastian Modersheim and Luca Vigano -- Symmetric Authentication within a Simulatable Cryptographic Library / Michael Backes, Birgit Pfitzmann and Michael Waidner.".
catalog extent "x, 343 p. :".
catalog identifier "3540203001 (alk. paper)".
catalog isPartOf "Lecture notes in computer science ; 2808".
catalog issued "2003".
catalog issued "2003.".
catalog language "eng".
catalog publisher "Berlin ; New York : Springer-Verlag,".
catalog subject "005.8 22".
catalog subject "Computer security Congresses.".
catalog subject "QA76.9.A25 E98 2003".
catalog tableOfContents "An Improved Reference Flow Control Model for Policy-Based Intrusion Detection / Jacob Zimmermann, Ludovic Me and Christophe Bidan -- Visualisation for Intrusion Detection / Stefan Axelsson -- On the Detection of Anomalous System Call Arguments / Christopher Kruegel, Darren Mutz, Fredrik Valeur and Giovanni Vigna.".
catalog tableOfContents "Signature and Access Control Policies for XML Documents / Elisa Bertino, Elena Ferrari and Loredana Parasiliti Provenza -- Authorization and Access Control in Adaptive Workflows / Dulce Domingos, Antonio Rito-Silva and Pedro Veiga -- Flexible Regulation of Distributed Coalitions / Xuhui Ao and Naftaly H. Minsky -- Initiator-Resilient Universally Composable Key Exchange / Dennis Hofheinz, Jorn Muller-Quade and Rainer Steinwandt -- Multi-round Secure Light-Weight Broadcast Exclusion Protocol with Pre-processing / Yuji Watanabe and Masayuki Numao -- Precisely Answering Multi-dimensional Range Queries without Privacy Breaches / Lingyu Wang, Yingjiu Li, Duminda Wijesekera and Sushil Jajodia -- Passive Attack Analysis for Connection-Based Anonymity Systems / Andrei Serjantov and Peter Sewell -- Rapid Mixing and Security of Chaum's Visual Electronic Voting / Marcin Gomulkiewicz, Marek Klonowski and Miroslaw Kutylowski -- Towards Accountable Management of Privacy and Identity Information / Marco Casassa Mont, Siani Pearson and Pete Bramhall -- A Toolkit for Managing Enterprise Privacy Policies / Michael Backes, Birgit Pfitzmann and Matthias Schunter -- Authenticating Mandatory Access Controls and Preserving Privacy for a High-Assurance Smart Card / Helmut Scherzer, Ran Canetti, Paul A. Karger, Hugo Krawczyk, Tal Rabin and David C. Toll -- Hardware Encapsulation of Security Services / Adrian Baldwin and Simon Shiu -- A Formal Security Model of the Infineon SLE 88 Smart Card Memory Management / David von Oheimb, Georg Walter and Volkmar Lotz -- Bridging Model-Based and Language-Based Security / Rogardt Heldal and Fredrik Hultin -- An On-the-Fly Model-Checker for Security Protocol Analysis / David Basin, Sebastian Modersheim and Luca Vigano -- Symmetric Authentication within a Simulatable Cryptographic Library / Michael Backes, Birgit Pfitzmann and Michael Waidner.".
catalog title "Computer security - ESORICS 2003 : 8th European Symposium on Research in Computer Security, Gjøvik, Norway, October 13-15, 2003 : proceedings / Einar Snekkenes, Dieter Gollmann (eds.).".
catalog type "Conference proceedings. fast".
catalog type "text".