LicenseScript : a language and framework for calculating licenses on information over constrained domains
暂无分享,去创建一个
[1] Frank Stajano,et al. The Resurrecting Duckling - What Next? , 2000, Security Protocols Workshop.
[2] Jean-François Raskin,et al. A Game-based Verification of Non-repudiation and Fair Exchange Protocols , 2001, J. Comput. Secur..
[3] Sandro Etalle,et al. Partial evaluation of concurrent constraint languages , 1998, CSUR.
[4] Mary Baker,et al. Mitigating routing misbehavior in mobile ad hoc networks , 2000, MobiCom '00.
[5] Frank Stajano,et al. The Resurrecting Duckling: Security Issues for Ad-hoc Wireless Networks , 1999, Security Protocols Workshop.
[6] Riccardo Pucella,et al. A logic for reasoning about digital rights , 2002, Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15.
[7] Carl A. Gunter,et al. Models and languages for digital rights , 2001, Proceedings of the 34th Annual Hawaii International Conference on System Sciences.
[8] Yee Wei Law,et al. Assessing Security-Critical Energy-Efficient Sensor Networks , 2002 .
[9] Amos Fiat,et al. Dynamic Traitor Tracing , 2001, Journal of Cryptology.
[10] S.A.F.A. van den Heuvel,et al. Secure content management in authorised domains , 2002 .
[11] Sandro Etalle,et al. A transformation system for CLP with dynamic scheduling and CCP , 1997, PEPM.
[12] Sandro Etalle,et al. Transformations of CCP programs , 2001, TOPL.
[13] Sandro Etalle,et al. Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols , 2001, LOPSTR.
[14] Sandro Etalle,et al. An Improved Constraint-Based System for the Verification of Security Protocols , 2002, SAS.
[15] Daniel Le Métayer,et al. Programming by multiset transformation , 1993, CACM.
[16] Stephen Mooney,et al. Digital Rights Management: Business and Technology , 2001 .