Active Bibliography

10 Security in Active Networks – D. Scott Alexander, William A. Arbaugh, Angelos D. Keromytis, Jonathan M. Smith - 1999
4 Approaches to fault-tolerant and transactional mobile agent execution -- an algorithmic view – Stefan Pleisch, André Schiper - 2004
1 Runtime Verification of Remotely Executed Code using Probabilistically Checkable Proof Systems – Tugkan Batu, Ronitt Rubinfeld, Patrick White
11 Security and Communication in Mobile Object Systems – Jan Vitek, Manuel Serrano, Dimitri Thanos - 1997
10 Trust Relationships in a Mobile Agent System – Hock Kim Tan, Luc Moreau - 2001
36 Security for a High Performance Commodity Storage Subsystem – Howard Gobioff, M. Satyanarayanan - 1999
69 Countermeasures for Mobile Agent Security – Wayne A. Jansen - 2000
Proof-Carrying Data and Hearsay Arguments from Signature Cards – Ro Chiesa Eran Tromer
7 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
26 Safe Kernel Programming in the OKE – Herbert Bos, Bart Samwel - 2002
51 Integrating segmentation and paging protection for safe, efficient and transparent software extensions – Tzi-cker Chiueh, Ganesh Venkitachalam, Prashant Pradhan - 1999
1016 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