J. Y. Halpern and V. Weissman. A formal foundation for XrML. In CSFW '04: Proceedings of the 17th IEEE Computer Security Foundations Workshop (CSFW'04), pages 251--263. IEEE Computer Society, 2004.

 Home/Search   Document Not in Database   Summary   Related Articles  

This paper is cited in the following contexts:
Timed Constraint Programming: A Declarative.. - Jagadeesan..   (Correct)

No context found.

J. Y. Halpern and V. Weissman. A formal foundation for XrML. In CSFW '04: Proceedings of the 17th IEEE Computer Security Foundations Workshop (CSFW'04), pages 251--263. IEEE Computer Society, 2004.

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