Active Bibliography

10 Security in Active Networks – D. Scott Alexander, William A. Arbaugh, Angelos D. Keromytis, Jonathan M. Smith - 1999
6 Approaches to fault-tolerant and transactional mobile agent execution -- an algorithmic view – Stefan Pleisch, AndrĂ© Schiper - 2004
13 Security and Communication in Mobile Object Systems – Jan Vitek, Manuel Serrano, Dimitri Thanos - 1997
11 Trust Relationships in a Mobile Agent System – Hock Kim Tan, Luc Moreau - 2001
41 Security for a High Performance Commodity Storage Subsystem – Howard Gobioff, M. Satyanarayanan - 1999
79 Countermeasures for Mobile Agent Security – Wayne A. Jansen - 2000
Proof-Carrying Data and Hearsay Arguments from Signature Cards – Ro Chiesa Eran Tromer
9 Proof-Carrying Data and Hearsay Arguments from Signature Cards – Alessandro Chiesa , Eran Tromer
6 A System for Improving Application Performance Through System Call Composition – Amit Purohit - 2003
27 Safe Kernel Programming in the OKE – Herbert Bos, Bart Samwel - 2002
54 Integrating segmentation and paging protection for safe, efficient and transparent software extensions – Tzi-cker Chiueh, Ganesh Venkitachalam, Prashant Pradhan - 1999
1097 Proof-Carrying Code – George C. Necula - 1997
2 Efficient and Secure Information Sharing in Distributed, Collaborative Environments – Partha Dasgupta, Vijay Karamcheti, Zvi M. Kedem - 2000
2 Automated Techniques for Provably Safe Mobile Code – Karl Crary , Robert Harper, Peter Lee, Frank Pfenning - 2000
1 Proofs of Safety for Untrusted Code – Grigore Rosu, Nathan Segerlind - 1999
5 Safe and Secure Execution Mechanisms for Mobile Objects – Kazuhiko Kato - 1996
1 Language-Based Security for Malicious Mobile Code – Fred B. Schneider, Dexter Kozen, Greg Morrisett, Andrew C. Myers
18 Adapting Distributed Applications Using Extensible Networks – Scott Thibault, Jerome Marant, Gilles Muller - 1999
12 A Survey on Customizability in Operating Systems Research – G. Denys, F. Piessens, F. Matthijs - 2002