Event-oriented Web-based E-trading

Electronic Notes in Theoretical Computer Science

Volumn 235, Issue C, 2009, Pages 35-53

  Barker, Steve ^a   Lowen, Gill ^b  

^a KING'S COLLEGE LONDON   (United Kingdom)

^b ROYAL HAMPSHIRE COUNTY HOSPITAL   (United Kingdom)

Author keywords

e trading; logic specification; policies; Web applications

Indexed keywords

COMPUTERS; LOGIC PROGRAMMING; PROBLEM ORIENTED LANGUAGES; SPECIFICATIONS; WORLD WIDE WEB;

CYBER SPACES; E-TRADING; EVENT-ORIENTED; KEY PROBLEMS; LOGIC PROGRAMMING LANGUAGES; LOGIC SPECIFICATION; POLICIES; WEB APPLICATIONS;

COMMERCE;

EID: 62849092542     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.03.004     Document Type: Article

References (17)

1. Agrawal R., Carey M., and Livny M. Concurrency control performance modeling: Alternatives and implications. ACM TODS 12 4 (1987) 609-654
2. Grigoris Antoniou and M. Arief. Executable declarative business rules and their use in electronic commerce. In SAC, pages 6-10, 2002
3. Baral C., and Gelfond M. Logic programming and knowledge representation. JLP 19/20 (1994) 73-148
4. Barker S. Protecting deductive databases from unauthorized retrieval and update requests. Journal of Data and Knowledge Engineering 23 3 (2002) 231-285
5. Barker S., and Stuckey P. Flexible access control policy specification with constraint logic programming. ACM Trans. on Information and System Security 6 4 (2003) 501-546
6. Tim Berners-Lee, Dan Connolly, Lalana Kagal, Yosi Scharf, and Jim Hendler. N3logic: A logical framework for the world wide web. CoRR, abs/0711.1533, 2007
7. H. Boley, S. Tabet, and G. Wagner. Design rationale of ruleml: A markup language for semantic web rules. In SWWS 2001, pages 381-401, 2001
8. The Ciao Prolog System, 2004
9. Clifford J., Dyreson C., Isakowitz T., Jensen C., and Snodgrass R. On the semantics of "now" in databases. ACM TODS 22 2 (1997) 171-214
10. Damianou N., Dulay N., Lupu E., and Sloman M. The Ponder Policy Specification Language. Proc. Int. Workshop on Policies for Distributed Systems and Networks. LNCS volume 1995 (2001), Springer 18-38
11. Davidson D. Essays on Actions and Events (2001), Oxford University Press
12. J. DeTreville. Binder, a logic-based security language. In Proc. IEEE Symposium on Security and Privacy, pages 105-113, 2002
13. Ferraiolo D.F., Sandhu R.S., Gavrila S.I., Kuhn D.R., and Chandramouli R. Proposed nist standard for role-based access control. ACM Trans. Inf. Syst. Secur. 4 3 (2001) 224-274
14. T. Jim. SD3: A trust management system with certified evaluation. In IEEE Symp. Security and Privacy, pages 106-115, 2001
15. Miyakawa T. The Science of Public Policy (1999), Routledge
16. OASIS. eXtensible Access Control Markup Language (XACML), 2003. http://www.oasis-open.org/xacml/docs/
17. Tuomela R. Cooperation (1999), Kluwer