Computer Security - ESORICS 98: 5th European Symposium on Research in Computer Security, Louvain-la-Neuve, Belgium, September 16-18, 1998, Proceedings: 1485 - Brossura

Gollmann, Dieter; Deswarte, Yves; Quisquater, Jean-Jacques; Meadows, Catherine

Brossura

ISBN 10: 3540650040 ISBN 13: 9783540650041

Casa editrice: Springer, 2008

Riassunto

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.

Su questo libro

Contenuti

Table of Contents Fixed vs. Variable-Length Patterns for Detecting Suspicious Process Behavior H. Debar, M. Dacier, M. Nassehi, and 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 and 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, and H.-M. Sun Side Channel Cryptanalysis of Product Ciphers J. Kelsey, B. Schneier, D. Wagner, and C. Hall On the Security of Digital Tachographs R. Anderson An Authorization Model and Its Formal Semantics E. Bertino, F. Buccafurri, E. Ferrari, and P. Rullo Authorization in CORBA Security G. Karjoth Rules for Designing Multilevel Object-Oriented Databases F. Cuppens and A. Gabillon Byte Code Verification for Java Smart Cards Based on Model Checking J. Posegga and H. Vogt Towards Formalizing the Java Security Architecture of JDK 1.2 L. L. Kassab and S. J. Greenwald EUROMED-JAVA: Trusted Third Party Services for Securing Medical Java Applets A. Varvitsiotis, D. Polemi, and A. Marsh MPEG PTY-Marks: Cheap Detection of Embedded Copyright Data in DVD-Video J.P.M.G. Linnartz, and J.C. Talstra DHWM: A Scheme for Managing Watermarking Keys in the Aquarelle Multimedia Distributed System D. Augot, J.-F. Delaigle, and C. Fontaine The 'Ticket'Concept for Copy Control Based on Embedded Signalling J.P.M.G. Linnartz Panel Session: Watermarking G. Eizenberg and J.-J. Quisquater Authentication and Payment in Future Mobile Systems G. Horn and B. Preneel Distributed Temporary Pseudonyms: A New Approach for Protecting Location Information in Mobile Communication Networks D. Kesdogan, P. Reichl and K. Junghartchen A Mix-Mediated Anonymity Service and Its Payment E. Franz and A. Jerichow A Subjective Metric of Authentication A. Jsang A Sound Logic for Analysing Electronic Commerce Protocols V. Kessler and H. Neumann Kerberos Version IV: Inductive Analysis of the Secrecy Goals G. Bella and L. C. Paulson

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 2008
• Lingua: Inglese
• ISBN 10: 3540650040
• ISBN 13: 9783540650041
• Rilegatura: Copertina flessibile
• Numero di pagine: 392
• Contatto del produttore: Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com; ; Europaplatz 3; Heidelberg; 69115; Germania