Computer Security - ESORICS 2000

6th European Symposium on Research in Computer Security Toulouse, France, October 4-6, 2000 Proceedings

By: Frederic Cuppens (Editor), Yves Deswarte (Editor), Dieter Gollmann (Editor)

Write A Review

Paperback | 20 September 2000

At a Glance

Paperback
340 Pages

Dimensions(cm)
22.86 x 14.61 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

his book presents the refereed proceedings of the 6th European Symposium on Research in Computer Security, ESORICS 2000, held in Toulouse, France in October 2000.
The 19 revised full papers presented were carefully reviewed and selected from a total of 75 submissions. The papers are organized in sections on personal devices and smart cards, electronic commerce protocols, access control, protocol verification, Internet security, security property analysis, and mobile agents.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Security Data Encryption Computer Networking & Communications Network Security Medicine Medicine in General Networking Standards & Protocols Computer Hardware Network Hardware

Personal Devices and Smart Cards
Checking Secure Interactions of Smart Card Applets	p. 1
Verification of a Formal Security Model for Multiapplicative Smart Cards	p. 17
How Much Negotiation and Detail Can Users Handle? Experiences with Security Negotiation and the Granularity of Access Control in Communications	p. 37
Electronic Commerce Protocols
Secure Anonymous Signature-Based Transactions	p. 55
Metering Schemes for General Access Structures	p. 72
Access Control
A Typed Access Control Model for CORBA	p. 88
Safety Analysis of the Dynamic-Typed Access Matrix Model	p. 106
A Formal Model for Role-Based Access Gontrol Using Graph Transformation	p. 122
Protocol Verification
A Formal Semantics for SPKl	p. 140
Formal Verification of Cardholder Registration in SET	p. 159
Automating Data Independence	p. 175
Internet Security
Finding a Connection Chain for Tracing Intruders	p. 191
A Full Bandwidth ATM Firewall	p. 206
Security Property Analysis
Analysing Time Dependent Security Properties in CSP Using PVS	p. 222
Unwinding Possibilistic Security Properties	p. 238
Authentication and Confidentiahty via IPsec	p. 255
Mobile Agents
A Security Framework for a Mobile Agent System	p. 273
A Distributed Access Control Model for Java	p. 291
Using Reflection as a Mechanism for Enforcing Security Policies in Mobile Code	p. 309
Author Index	p. 325
Table of Contents provided by Publisher. All Rights Reserved.

Computer Security - ESORICS 2000

6th European Symposium on Research in Computer Security Toulouse, France, October 4-6, 2000 Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Data Encryption

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Computer Security

Art and Science

Foundations of Information Security

Cybersecurity All-in-One For Dummies

For Dummies

Rinsed

From Cartels to Crypto: How the Tech Industry Washes Money for the World's Deadliest Crooks

Quantum Leaps

How Maths is Shaping the Future

Black Hat Python, 2nd Edition

Python Programming for Hackers and Pentesters

Crafting an Information Security Playbook

Security Risk Management Body of Knowledge

Wiley Series in Systems Engineering and Management

Principles of Information Security

7th edition

CompTIA Security+

8th Edition - Guide to Network Security Fundamentals

Cryptography and Network Security

8th Edition - Principles and Practice, Global Edition

The Web Application Hacker's Handbook

Finding and Exploiting Security Flaws 2E

Cloud Native Application Protection Platforms

A Guide to CNAPPs and the Foundations of Comprehensive Cloud Security

Container Security

Fundamental Technology Concepts That Protect Containerized Applications

Locked Up

Cybersecurity Threat Mitigation Lessons from A Real-World LockBit Ransomware Response

Beyond The Invisible Nexus

Dark Web, Dark AI and Offensive Security

Beyond The Invisible Nexus

Dark Web, Dark AI and Offensive Security

Modern Benford's Law

State of the Art Techniques for Audit and Compliance Professionals

Modern Benford's Law

State of the Art Techniques for Audit and Compliance Professionals

AI Forensics

Investigation and Analysis of Artificial Intelligence Systems

CyberSentinel+

An Advanced Hybrid Honeypot Intrusion Detection System Augmented with Big Data Analytics and Machine Learning Intelligence

Unveiling the Art of Steganography

A Modern Approach

Systematic Security: Building Quantum Security

Preparing for Q-Day and Beyond

This product is categorised by