L. Cardelli, G. Ghelli, and A. Gordon, Mobile Types for Mobile Ambients To appear ICALP'99, LNCS , Springer, 1999. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Programming Access Control: The KLAIM Experience - De Nicola, Ferrari, Pugliese (4 citations) (Correct)
....to integrate in Klaim other security mechanisms (both at the foundation level and at the implementation level) These include mechanisms for secure communication and authentication, and agent code security. As for related work, we do refer the interested reader to [14] where specific comments on [3, 4, 8, 6, 7, 16, 17, 19 22] can be found. Acknowledgments The authors would like to thank Lorenzo Bettini, Michele Loreti and Betti Venneri for interesting discussions and comments. This work has been partially supported by Esprit working groups CONFER2, and COORDINA, and by MURST projects TOSCA and SALADIN. 15 A Klaim ....
L. Cardelli, G. Ghelli, and A. Gordon, Mobile Types for Mobile Ambients To appear ICALP'99, LNCS , Springer, 1999.
Secure Programming in KLAIM - De Nicola, Ferrari, Pugliese (Correct)
....of resources. Cardelli and Gordon [8] have introduced a type system for mobile ambients [7] that controls the type of the values exchanged among administrative domains (ambients 1 ) so that the communication of values cannot cause run time faults. This type system has been further improved in [6] to control ambient mobility. Volpano and Smith have developed type systems to ensure secure information flow (noninterference) for both a sequential procedural language [23] and for a multithreaded imperative language [24] Boudol [5] has used types to abstract from terms the possible sequences ....
L. Cardelli, G. Ghelli, and A. Gordon, Mobile Types for Mobile Ambients To appear ICALP'99, LNCS , Springer, 1999
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC