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 $0.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

Supremacy

AI, ChatGPT and the Race that Will Change the World

Cryptography and Network Security

8th Edition - Principles and Practice, Global Edition

Blockchain

Blueprint for a New Economy

Security Risk Management Body of Knowledge

Wiley Series in Systems Engineering and Management

Cybersecurity All-in-One For Dummies

For Dummies

CompTIA Security+

8th Edition - Guide to Network Security Fundamentals

Principles of Information Security

7th edition

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Quantum Leaps

How Maths is Shaping the Future

Rinsed

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

Building Secure and Reliable Systems

Best Practices for Designing, Implementing, and Maintaining Systems

Black Hat Python, 2nd Edition

Python Programming for Hackers and Pentesters

Cloud Native Application Protection Platforms

A Guide to CNAPPs and the Foundations of Comprehensive Cloud Security

The Gray Zone Playbook

Winning Without War in the 21st Century

Network Warrior

Everything You Need to Know That Wasn't on the CCNA Exam

Hackers & Painters

Intelligence-Driven Incident Response

Outwitting the Adversary

Practical Lock Picking Second Edition

A Physical Penetration Tester's Training Guide

Mac OS Incident Response and Analysis

A Guide to Detecting and Analyzing Compromised Mac OS Systems

Crafting an Information Security Playbook

Trust Hacked

What Firewalls, Failures, and the Frontlines Taught Me About Trust

This product is categorised by