Lecture Notes in Computer Science

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 $89.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 Business & Management

Business Mathematics & Systems Operating Systems Computer Programming & Software Development Computer Science

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.

Lecture Notes in Computer Science

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 Business Mathematics & Systems

Never Split the Difference

Negotiating as if Your Life Depended on It

Turn The Ship Around!

A True Story of Turning Followers into Leaders

Recent Advances in Information Systems

Proceedings of the ICRAIS, Pointe aux Piments, Mauritius, 10-12 September 2025

XR and Metaverse

Proceedings of the 10th International XR-Metaverse Conference 2025, Maastricht, The Netherlands

Proceedings of the 6th International Conference on Research in Management & Technovation

ICRMAT-2025

A Guide to the Business Analysis Body of Knowledge - BABOK

Storytelling with Data

1st Edition - A Data Visualization Guide for Business Professionals

The Visual MBA

A Quick Guide to Everything You'll Learn in Two Years of Business School

Storytelling with Data

A Data Visualization Guide for Business Professionals, 10th Anniversary Edition

Difficult Conversations

How to Discuss What Matters Most

Business Statistics

8th edition - Australia and New Zealand

The Communication Book

44 Ideas for Better Conversations Every Day

Business Analytics

3rd Global Edition

Storytelling with Data

Before and After - Practical Makeovers for Powerful Data Stories

Intermediate Financial Theory

3rd Edition

Health Information

5th Edition - Management of a Strategic Resource

Business Statistics

11th Edition - A Decision Making Approach, Global Edition

Business Statistics

4th Global Edition

Incerto

The Impact of the Highly Improbable: With a new section: "On Robustness and Fragility"

Introductory Mathematical Analysis for Business, Economics, and the Life and Social Sciences

14th edition

Essential Mathematics for Economics and Business

4th Edition

Microsoft Power BI Dashboards Step by Step

Step by Step

Business Research Methods

6th Edition

Business Analytics and Statistics

2nd Edition

This product is categorised by