Lecture Notes in Computer Science

Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers

By: Mitsuhiro Okada (Editor), Benjamin Pierce (Editor), Andre Scedrov (Editor)

Write A Review

Paperback | 21 February 2003

At a Glance

Paperback
488 Pages

Dimensions(cm)
23.5 x 15.88 x 3.18

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

For more than the last three decades, the security of software systems has been an important area of computer science, yet it is a rather recent general recognition that technologies for software security are highly needed.

This book assesses the state of the art in software and systems security by presenting a carefully arranged selection of revised invited and reviewed papers. It covers basic aspects and recently developed topics such as security of pervasive computing, peer-to-peer systems and autonomous distributed agents, secure software circulation, compilers for fail-safe C language, construction of secure mail systems, type systems and multiset rewriting systems for security protocols, and privacy issues as well.

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.Operating Systems Computer Networking & Communications Computer Programming & Software Development Programming & Scripting Languages Computer Security Data Encryption Business & Management Business Mathematics & Systems Computer Hardware Network Hardware

Computer Science Computer Architecture & Logic Design Reference, Information & Interdisciplinary Subjects Research & Information Coding Theory & Cryptology Compilers & Interpreters

Towards Security and Privacy for Pervasive Computing	p. 1
Security for Whom? (The Shifting Security Assumptions of Pervasive Computing)	p. 16
Active Authentication for Pervasive Computing Environments	p. 28
A Survey of Peer-to-Peer Security Issues	p. 42
Autonomous Nodes and Distributed Mechanisms	p. 58
Privacy in Sensor Webs and Distributed Information Systems	p. 84
Negotiated Privacy	p. 96
SoftwarePot: An Excapsulated Transferable File System for Secure Software Circulation	p. 112
Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure (Progress Report)	p. 133
Types and Effects for Non-interfering Program Monitors	p. 154
Flexible and Efficient Sandboxing Based on Fine-Grained Protection Domains	p. 172
Enforcing Java Run-Time Properties Using Bytecode Rewriting	p. 185
AnZenMail: A Secure and Certified E-mail System	p. 201
Formalization and Verification of a Mail Server in Coq	p. 217
Design and Implementation of Security System Based on Immune System	p. 234
Design and Implementation of Access Control System for Smart Office Environment	p. 249
Typing One-to-One and One-to-Many Correspondences in Security Protocols	p. 263
Proof-Carrying Code with Untrusted Proof Rules	p. 283
Verification of Authentication Protocols Based on the Binding Relation	p. 299
Hiding Names: Private Authentication in the Applied Pi Calculus	p. 317
Environmental Requirements for Authentication Protocols	p. 339
A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis	p. 356
Data Access Specification and the Most Powerful Symbolic Attacker in MSR	p. 384
A Logical Verification Method for Security Protocols Based on Linear Logic and BAN Logic	p. 417
Formal Analysis of the iKP Electronic Payment Protocols	p. 441
CafeOBJ as a Tool for Behavioral System Verification	p. 461
Author Index	p. 471
Table of Contents provided by Blackwell. All Rights Reserved.

Lecture Notes in Computer Science

Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers

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

The Fundamentals of Content Analytics

A Practical Guide for Marketing and Communications Professionals

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

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

Storytelling with Data

1st Edition - A Data Visualization Guide for Business Professionals

Difficult Conversations

How to Discuss What Matters Most

Business Statistics

8th edition - Australia and New Zealand

Business Analytics

3rd Global Edition

Incerto

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

The Communication Book

44 Ideas for Better Conversations Every Day

The Visual MBA

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

Storytelling with Data

Before and After - Practical Makeovers for Powerful Data Stories

Intermediate Financial Theory

3rd Edition

Positioning

The Battle for Your Mind

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

14th edition

Essential Mathematics for Economics and Business

4th Edition

Business Research Methods

6th Edition

Business Analytics and Statistics

2nd Edition

Integrated Management Systems for Construction

Quality, Environment and Safety

Microsoft Power BI Dashboards Step by Step

Step by Step

This product is categorised by