Computer Security - Esorics 98: 5th European Symposium On Research In Computer Security, Louvain-la-neuve, Belgium, September 16-18, 1998, Proceedings (lecture Notes In Computer Science)

This Book Constitutes The Refereed Proceedings Of The 5th European Symposium On Research In Computer Security, Esorics 98, Held In Louvain-la-neuve, Belgium, In September 1998. The 24 Revised Full Papers Presented Were Carefully Reviewed And Selected From A Total Of 57 Submissions. The Papers Provide Current Results From Research And Development In Design And Specification Of Security Policies, Access Control Modelling And Protocol Analysis, Mobile Systems And Anonymity, Java And Mobile Code, Watermarking, Intrusion Detection And Prevention, And Specific Threads. Fixed Vs. Variable-length Patterns For Detecting Suspicious Process Behavior -- A Tool For Pro-active Defense Against The Buffer Overrun Attack -- A Kernelized Architecture For Multilevel Secure Application Policies -- Dealing With Multi-policy Security In Large Open Distributed Systems -- A Flexible Method For Information System Security Policy Specification -- On The Security Of Some Variants Of The Rsa Signature Scheme -- Side Channel Cryptanalysis Of Product Ciphers -- On The Security Of Digital Tachographs -- An Authorization Model And Its Formal Semantics -- Authorization In Corba Security -- Rules For Designing Multilevel Object-oriented Databases -- Byte Code Verification For Java Smart Cards Based On Model Checking -- Towards Formalizing The Java Security Architecture Of Jdk 1.2 -- Euromed-java: Trusted Third Party Services For Securing Medical Java Applets -- Mpeg Pty-marks: Cheap Detection Of Embedded Copyright Data In Dvd-video -- Dhwm: A Scheme For Managing Watermarking Keys In The Aquarelle Multimedia Distributed System -- The “ticket” Concept For Copy Control Based On Embedded Signalling -- Panel Session: Watermarking -- Authentication And Payment In Future Mobile Systems -- Distributed Temporary Pseudonyms: A New Approach For Protecting Location Information In Mobile Communication Networks -- A Mix-mediated Anonymity Service And Its Payment -- A Subjective Metric Of Authentication -- A Sound Logic For Analysing Electronic Commerce Protocols -- Kerberos Version Iv: Inductive Analysis Of The Secrecy Goals. Edited By Jean-jacques Quisquater, Yves Deswarte, Catherine Meadows, Dieter Gollmann. Fixed vs. variable-length patterns for detecting suspicious process behavior....Pages 1-15 A tool for pro-active defense against the buffer overrun attack....Pages 17-31 A kernelized architecture for multilevel secure application policies....Pages 33-49 Dealing with multi-policy security in large open distributed systems....Pages 51-66 A flexible method for information system security policy specification....Pages 67-84 On the security of some variants of the RSA signature scheme....Pages 85-96 Side channel cryptanalysis of product ciphers....Pages 97-110 On the security of digital tachographs....Pages 111-125 An authorization model and its formal semantics....Pages 127-142 Authorization in CORBA security....Pages 143-158 Rules for designing multilevel Object-Oriented Databases....Pages 159-174 Byte code verification for Java smart cards based on model checking....Pages 175-190 Towards formalizing the Java security architecture of JDK 1.2....Pages 191-207 EUROMED-JAVA: Trusted Third Party Services for securing medical Java applets....Pages 209-220 MPEG PTY-Marks: Cheap detection of embedded copyright data in DVD-video....Pages 221-240 DHWM: A scheme for managing watermarking keys in the Aquarelle multimedia distributed system....Pages 241-255 The “ticket” concept for copy control based on embedded signalling....Pages 257-274 Panel session: Watermarking....Pages 275-275 Authentication and payment in future mobile systems....Pages 277-293 Distributed temporary pseudonyms: A new approach for protecting location information in mobile communication networks....Pages 295-312 A mix-mediated anonymity service and its payment....Pages 313-327 A subjective metric of authentication....Pages 329-344 A sound logic for analysing electronic commerce protocols....Pages 345-360 Kerberos Version IV: Inductive analysis of the secrecy goals....Pages 361-375