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

Value Creation in Digital Platforms and Business Ecosystems

Networks, Relationships and the Platform Markets

Why Justice in Innovation and Development Matters

A Relational Egalitarian Perspective

Business Analytics and Statistics

2nd Edition

Artificial Intelligence, Data, and Decision-Making

Proceedings of the 19th International Conference on Wirtschaftsinformatik, Wurzburg, Germany, 2024 - Vol.1

Digital Innovation and Organizational Transformation

Proceedings of the 19th International Conference on Wirtschaftsinformatik, Wurzburg, Germany, 2024 - Vol. 2

Proceedings of the 6th International Conference on Data Science, Machine Learning and Applications, Volume 2

ICDSMLA 2024, 13â"14 December, Tirupati, India

Storytelling with Data

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

The Black Swan: Second Edition

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

Contributions to Finance and Accounting

Business Statistics

8th edition - Australia and New Zealand

Storytelling with Data

1st Edition - A Data Visualization Guide for Business Professionals

Positioning

The Battle for Your Mind

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

14th edition

Business Research Methods

6th Edition

Essential Mathematics for Economics and Business

4th Edition

The Visual MBA

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

How to Organise and Operate a Small Business in Australia

Turning Ideas into Success

Business Analytics

3rd Global Edition

Data Science for Business

What You Need to Know About Data Mining and Data-Analytic Thinking

Foolproof Guide to Statistics Using IBM SPSS (Pearson Original Edition)

2nd edition

The Devops Handbook: 2nd Edition

How to Create World-Class Agility, Reliability, & Security in Technology

Creative Machines

AI, Art & Us

This product is categorised by