Trustworthy global computing : international symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : revised selected papers / Rocco De Nicola, Davide Sangiorgi (eds.).
| Author/creator | TGC 2005 |
| Other author | De Nicola, Rocco. |
| Other author | Sangiorgi, Davide. |
| Format | Book |
| Publication Info | Berlin ; New York : Springer, ©2005. |
| Description | viii, 369 pages : illustrations ; 24 cm. |
| Supplemental Content | Publisher description |
| Supplemental Content | Cover |
| Subjects |
| Variant title | TGC 2005 |
| Series | Lecture notes in computer science ; 3705 Lecture notes in computer science ; 3705. ^A466336 |
| Contents | Harmony : the art of reconciliation / Benjamin C. Pierce -- A theory of noninterference for the [pi]-calculus / Silvia Crafa and Sabina Rossi -- Typed processes in untyped contexts / Michele Bugliesi and Marco Giunti -- Model-based testing of cryptographic protocols / Dean Rosenzweig, Davor Runje and Wolfram Schulte -- A general name binding mechanism / Michele Boreale, Maria Grazia Buscemi and Ugo Montanari -- Types for security in a mobile world / Adriana B. Compagnoni and Elsa L. Gunter -- History-based access control for distributed processes / Francisco Martins and Vasco Vasconcelos -- Programming cryptographic protocols / Joshua D. Guttman, Jonathan C. Herzog, John D. Ramsdell and Brian T. Sniffen. |
| Bibliography note | Includes bibliographical references and index. |
| Other forms | Also issued online. |
| Issued in other form | Online version: TGC 2005 (2005 : Edinburgh, Scotland). Trustworthy global computing. Berlin ; New York : Springer, ©2005 9783540314837 |
| Genre/form | Conference papers and proceedings. |
| LCCN | 2005936337 |
| ISBN | 3540300074 (softcover ; alk. paper) |
| ISBN | 9783540300076 (softcover ; alk. paper) |
| Standard identifier# | 9783540300076 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.9.A25 T46 2005 | ✔ Available | Place Hold |