A first-order policy language for history-based transaction monitoring

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5684 LNCS, Issue , 2009, Pages 96-111

  Bauer, Andreas ^a   Goré, Rajeev ^a   Tiu, Alwen ^a  

^a AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABLE FUNCTIONS; FIRST-ORDER; LINEAR TEMPORAL LOGIC; ONLINE TRADING; PARTIAL OBSERVABILITY; POLICY LANGUAGE; POLYNOMIAL-TIME; STATISTICAL PATTERN; TERM LANGUAGES;

COMPUTABILITY AND DECIDABILITY; COMPUTER SCIENCE; LINGUISTICS; MODEL CHECKING; OBSERVABILITY; POLYNOMIAL APPROXIMATION; SPECIFICATION LANGUAGES;

TEMPORAL LOGIC;

EID: 70349319952     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03466-4_6     Document Type: Conference Paper

References (19)

1. The RuleML Initiative. Document located, http://www.ruleml.org/
2. Bartoletti, M., Degano, P., Ferrari, G.L.: History-based access control with local policies. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.3441, pp. 316-332. Springer, Heidelberg (2005)
3. Bauer, A., Goré, R., Tiu, A.: A decidable policy language for history-based transaction monitoring. Technical report, The Australian National University (2009), http://arxiv.org/abs/0903.2904
4. Bauer, A., Leucker, M., Schallhart, C.: Monitoring of real-time properties. In: Arun-Kumar, S., Garg, N. (eds.) FSTTCS 2006. LNCS, vol.4337, pp. 260-272. Springer, Heidelberg (2006)
5. Boley, H., Dean, M., Grosof, B., Sintek, M., Spencer, B., Tabet, S., Wagner, G.: FOL RuleML: The First-Order Logic Web Language (2005), http://www.ruleml.org/fol
6. Brewer, D.F.C., Nash, M.J.: The chinese wall security policy. In: IEEE Symposium on Security and Privacy. IEEE, Los Alamitos (1989)
7. D'Angelo, B., Sankaranarayanan, S., Sánchez, C., Robinson, W., Finkbeiner, B., Sipma, H.B., Mehrotra, S., Manna, Z.: LOLA: Runtime monitoring of synchronous systems. In: TIME. IEEE, Los Alamitos (2005)
8. Edjlali, G., Acharya, A., Chaudhary, V.: History-based access control for mobile code. In: ACM Conference on Computer and Communications Security, pp. 38-48 (1998)
9. Fong, P.W.L.: Access control by tracking shallow execution history. In: IEEE Symposium on Security and Privacy, pp. 43-55. IEEE Computer Society Press, Los Alamitos (2004)
10. Havelund, K., Rosu, G.: Synthesizing Monitors for Safety Properties. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.2280, p. 342. Springer, Heidelberg (2002)
11. Jøsang, A., Ismail, R., Boyd, C.: A survey of trust and reputation systems for online service provision. Decision Support Systems 43(2), 618-644 (2007)
12. Kroening, D., Strichman, O.: Decision Procedures. Springer, Heidelberg (2008)
13. Krukow, K., Nielsen, M., Sassone, V.: A framework for concrete reputation-systems with applications to history-based access control. In: ACM Conf. Comp. and Commun. Sec. (2005)
14. Krukow, K., Nielsen, M., Sassone, V.: A logical framework for reputation systems and history based access control. Journal of Computer Security (to appear) (2008)
15. Matiyasevich, Y.: Hilbert's 10th Problem. MIT Press, Cambridge (1993)
16. Pnueli, A.: The temporal logic of programs. In: Proc. FOCS 1977, pp. 46-57 (1977)
17. Roger, M., Goubault-Larrecq, J.: Log auditing through model-checking. In: CSFW, pp. 220-234. IEEE, Los Alamitos (2001)
18. Sipser, M.: Introduction to the Theory of Computation. Intl. Thomson Publishing (1996)
19. Winskel, G., Nielsen, M.: Models for concurrency. In: Handbook of logic in computer science. semantic modelling, vol.4. Oxford University Press, Oxford