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…
3.

電子ブック

EB
Jan Vitek, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM
所蔵情報: loading…
4.

電子ブック

EB
Jan Vitek, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM
所蔵情報: loading…
5.

電子ブック

EB
Jan Vitek, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM
所蔵情報: loading…
6.

電子ブック

EB
Jan Vitek, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2012
所蔵情報: loading…
7.

電子ブック

EB
Jan Vitek, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
8.

電子ブック

EB
Amy L. Murphy, Takeo Kanade, Jan Vitek
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
9.

電子ブック

EB
Jan Vitek, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Deep Meta-modelling with MetaDepth / Juan de Lara ; Esther Guerra
A Generic Meta-model-Based Approach for Specifying Framework Functionality and Usage / Fabian Christ ; Jan-Christopher Bals ; Gregor Engels ; Christian Gerth ; Markus Luckey
Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks / Andoni Lombide Carreton ; Stijn Mostinckx ; Tom Van Cutsem ; Wolfgang De Meuter
Understanding the Impact of Collection Contracts on Design / Stephen Nelson ; David J. Pearce ; James Noble
Reasoning about Function Objects / Martin Nordio ; Cristiano Calcagno ; Bertrand Meyer ; Peter Müller ; Julian Tschannen
Welterweight Java / Johan Östlund ; Tobias Wrigstad
Read-Only Execution for Dynamic Languages / Jean-Baptiste Arnaud ; Marcus Denker ; Stéphane Ducasse ; Damien Pollet ; Alexandre Bergel ; Mathieu Suen
Optimizing Aspect-Oriented Mechanisms for Embedded Applications / Christine Hundt ; Daniel Stöhr ; Sabine Glesner
Contract-Driven Testing of JavaScript Code / Phillip Heidegger ; Peter Thiemann
Late Binding of AspectJ Advice / Ryan M. Golbeck ; Peter Selby ; Gregor Kiczales
EriLex: An Embedded Domain Specific Language Generator / Hao Xu
Domain-Specific Program Checking / Lukas Renggli ; Tudor Gîrba ; Oscar Nierstrasz
Revisiting Parametric Types and Virtual Classes / Anders Bach Madsen ; Erik Ernst
Moles: Tool-Assisted Environment Isolation with Closures / Jonathan de Halleux ; Nikolai Tillmann
Encoding Ownership Types in Java / Nicholas Cameron
Visualizing Dynamic Metrics with Profiling Blueprints / Romain Robbes ; Walter Binder
Author Index
Deep Meta-modelling with MetaDepth / Juan de Lara ; Esther Guerra
A Generic Meta-model-Based Approach for Specifying Framework Functionality and Usage / Fabian Christ ; Jan-Christopher Bals ; Gregor Engels ; Christian Gerth ; Markus Luckey
Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks / Andoni Lombide Carreton ; Stijn Mostinckx ; Tom Van Cutsem ; Wolfgang De Meuter
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼