close
1.

図書

図書
Jan Vitek, Christian D. Jensen, eds.
出版情報: Berlin ; New York : Springer, c1999  x, 501 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1603
所蔵情報: loading…
目次情報: 続きを見る
Foundations / I:
Trust: Benefits, Models, and Mechanisms / Vipin Swarup ; Javier Thayer Fábrega
Protection in Programming-Language Translations / Martín Abadi
Reflective Authorization Systems: Possibilities, Benefits, and Draw- backs / Massimo Ancona ; Walter Cazzola ; Eduardo B. Fernandez
Abstractions for Mobile Computations / Luca Cardelli
Type-Safe Execution of Mobile Agents in Anonymous Networks / Matthew Hennessey ; James Riely):
Types as Specifications of Access Policies / Rocco De Nicola ; GianLuigi Ferrari ; Rosario Pugliese
Security Properties of Typed Applets / Xavier Leroy ; François Rouaix
Concepts / II:
The Role of Trust Management in Distributed Systems Security / Matt Blaze ; Joan Feigenbaum ; John Ioannidis ; Angelos D. Keromytis
Distributed Access-Rights Management with Delegation Certifi- cates / Tuomas Aura
A View-Based Access Control Model for CORBA / Gerald Brose
Apoptosis - the Programmed Death of Distributed Services / Christian Tschudin
A Sanctuary for Mobile Agents / Bennet S. Yee
Mutual Protection of Co-operating Agents / Volker Roth
Implementations / III:
Access Control in Configurable Systems / Trent Jaeger
Providing Policy-Neutral and Transparent Access Control in Extensible Systems / Robert Grimm ; Brian N. Bershad
Interposition Agents: Transparently Interposing User Code at the System Interface / Michael B. Jones
J-Kernel: A Capability-Based Operating System for Java / Thorsten von Eicken ; Chi-Chao Chang ; Grzegorz Czajkowski ; Chris Hawblitzel ; Deyu Hu ; Dan Spoonhower
Secure Network Objects / Leendert van Doorn ; Martin Abadi ; Mike Burrows ; Edward Wobber
History-Based Access Control for Mobile Code / Guy Edjlali ; Anurag Acharya ; Vipin Chaudhary
Security in Active Networks / D. Scott Alexander ; William A. Arbaugh ; Jonathan M. Smith
Using Interfaces to Specify Access Rights / J. Hulaas ; A. Villazon ; J. Harms
Introducing Trusted Third Parties to the Mobile Agent Paradigm / Uwe G. Wilhelm ; Sebastian Staamann ; Levente Buttyan
Appendix / IV:
List of Authors
Foundations / I:
Trust: Benefits, Models, and Mechanisms / Vipin Swarup ; Javier Thayer Fábrega
Protection in Programming-Language Translations / Martín Abadi
2.

図書

図書
Jan Vitek, Christian Tschudin (eds.)
出版情報: Berlin ; New York : Springer, c1997  x, 319 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1222
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼