Software Security -- Theories and Systems

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

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.

Software Security -- Theories and Systems

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 Operating Systems

Artificial Intelligence of Things (AIoT)

New Standards, Technologies and Communication Systems

Blockchain-based Internet of Things

Opportunities, Challenges and Solutions

Computer Vision

Object Detection In Adversarial Vision

macOS Tahoe For Dummies

For Dummies (Computer/Tech)

Innovation in the University 4.0 System based on Smart Technologies

Operating Systems

Evolutionary Concepts and Modern Design Principles

Technological Advancement in Internet of Medical Things and Blockchain for Personalized Healthcare

Applications and Use Cases

Application of Computational Techniques in Power Systems for Power Quality Improvement

Knowledge-based Engineering for Innovation

Microsoft Power BI Step by Step

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

Principles of Operating Systems

Linux All-In-One For Dummies

For Dummies (Computer/Tech)

The Site Reliability Workbook

Practical ways to implement SRE

Windows 11 For Dummies, 2nd Edition

Windows 11 For Dummies

Don't Make Me Think, Revisited

A Common Sense Approach to Web Usability

Product Leadership

How Top Product Managers Launch Awesome Products and Build Successful Teams

Mapping Experiences

A Complete Guide to Creating Value through Journeys, Blueprints, and Diagrams 2nd Edition

Windows 11 All-in-One For Dummies, 2nd Edition

For Dummies

Windows 11 for Seniors in Easy Steps

In Easy Steps

iPad & iPad Pro for Dummies

2024-2025 Edition

Modern Operating Systems, Global Edition

5th Edition

Git : Pocket Guide

A Working Introduction

UNIX and Linux System Administration Handbook

5th Edition

Rust Atomics and Locks

Low-Level Concurrency in Practice

This product is categorised by