Specifying dynamic security properties of web service based systems

2006 2nd International Conference on Semantics Knowledge and Grid, SKG

Volumn , Issue , 2006, Pages 34-39

  Vorobiev, Artem ^a   Han, Jun ^a  

^a SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS; WEBSITES; WEB SERVICES;

DYNAMIC SECURITY; E-MAIL SYSTEMS; EXTENDED VERSIONS; SECURITY PROPERTIES; SECURITY REQUIREMENTS; SOFTWARE COMPONENT; STATIC SECURITY; WEB SERVICE-BASED SYSTEM; RUNTIMES; TIME INTERVAL; TIME SEQUENCES; WS SECURITY;

WEB SERVICES; WEBSITES;

EID: 44949110433     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SKG.2006.99     Document Type: Conference Paper

References (29)

1. R. Allen, R. Douence, and D. Garlan, "Specifying and analyzing dynamic software architectures", FASE'98, pp. 21-37, Lisbon, Portugal, March 28 - April 4, 1998.
2. M. Burrows, M. Abadi, R. Needham, "A logic of authentication", ACM Transactions Computer Systems, pp. 18-36, February 1990.
3. Common Criteria. http://csrc.nist.gov/cc/CC-v2.1.html.
4. Cryptography, http://www.ssh.fi/support/cryptography/.
5. E. Dantsin, T. Eiter, G. Gottlob, and A. Voronkov, "Complexity and Expressive Power of Logic Programming", CSUR, Vol.33 Issue 3, pp. 374-425, September 2001.
6. Y. Deng, J. Wang, J. J.P. Tsai, and K. Beznosov, "An Approach for Modeling and Analysis of Security System Architectures", IEEE Trans. on Knowledge and Data Engineering, Vol. 15, no. 5, pp. 1099-1119, 2003.
7. G. Denker, S. Nguyen, and A. Ton, "OWL-S Semantics of Security Web Services: a Case Study", SRI International, Menlo Park, California, USA, 2004.
8. I. Georgiadis, "Self-Organising Distributed Component Software Architectures," PhD Thesis, Imperial College, 2002.
9. J. Y. Halpern and Y. Shoham, "A Propositional Modal Logic of Time Intervais", Journal of the Association for Computing Machinery, Vol 38. No 4, pp 935-962, October 1991.
10. KAoS. http://www.ihmc.us/research/projects/KAoS/.
11. J. O. Kephart and D. M. Chess, "The Vision of Autonomie Computing", IEEE Computer, pp. 41-50, January 2003.
12. K. Khan and J. Han, "A Security Characterisation Framework for Trustworthy Component Based Software Systems", COMPSAC2003, pp. 164-169, 2003.
13. K. Khan, "Security Characterisation and Compositional Analysis for Component-based Software Systems", PhD thesis, Monash University, April 2005.
14. T. R. De Kievit and B. H. Iglewski, "Bacterial Quorum Sensing in Pathogenic Relationships", Infection and Immunity, 68:4839-4849, 2000.
15. A. Kim, J. Luo, and M. Kang, "Security Ontology for Annotating Resources", In 4th International Conference on Ontologies, Databases, and Applications of Semantics (ODBASE 2005), Agia Napa, Cyprus, 2005.
16. T. Lukasiewicz, "Probabilistic Logic Programming with Conditional Constraints", ACM Trans, on Computational Logic, Vol. 2, No. 3, pp. 289-339, July 2001.
17. METEOR-S. http://lsdis.cs.uga.edu/projects/meteor-s/.
18. I. Niemelaa and P. Simons, "System smodels", Technical report, Universitat Koblenz, 2000.
19. T. O'Reilly, "What Is Web 2.0, Design Patterns and Business Models for the Next Generation of Software", 09/30/2005. http://www.oreillynet. eom/pub/a/oreilly/tim/news/2005/09/30/what-is-web-20.html.
20. M. A. Orgun and W. Ma, "An Overview of Temporal and Modal Logic Programming", ICTL'94, pp.445-479, 1994.
21. OWL. http:w3.org/TR/owl-features/.
22. OWL-S. http://www.daml.org/services/.
23. RSA Laboratories website, http://www.rsasecurity.com.
24. A. Stamos, "Attacking Web Services", SyScan05.
25. SWRL. http://www.w3.org/Submission/2004/03/.
26. SWSL. http://www.daml.org/services/swsl/.
27. WSDL-S: Adding semantics to WSDL - White paper. http://lsdis.cs.uga.edu/ library/download/wsdl-s.pdf.
28. WSMO. http://www.wsmo.org/.
29. H. Zhuge, "China's E-Science Knowledge Grid Environment", IEEE Intelligent Systems, 19 (1) (2004) 13-17.