Author:
Molina-Jimenez Carlos,Shrivastava Santosh,Solaiman Ellis,Warne John
Subject
Management of Technology and Innovation,Marketing,Computer Networks and Communications,Computer Science Applications
Reference17 articles.
1. Paul Halsall, Ancient History Sourcebook: A Collection of Contracts from Mesopotamia, 2300–428 BCE. Available from: http://www.fordham.edu/halsall/ancient/mesopotamia-contracts.html, March, 1999
2. Carlos Molina-Jimenez, Santosh Shrivastava, Ellis Solaiman, John Warne, Contract representation for run-time monitoring and enforcement, in: Proceedings of the IEEE International Conference on E-Commerce (CEC-2003), Newport Beach, CA, June, 2003
3. Proposed NIST standard for role-based access control;Ferraiolo;ACM Transactions on Information and Systems Security,2001
4. The model checker spin;Holzmann;IEEE Transactions on Software Engineering,1997
5. Ellis Solaiman, Carlos Molina-Jimenez, Santosh Shrivastava, Model checking correctness properties of electronic contracts, in: International Conference on Service Oriented Computing (ICSOC03), Trento, Italy, December, 2003
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献