A compose language-based framework for secure service composition

Proceedings of the 2012 ASE International Conference on Cyber Security, CyberSecurity 2012

Volumn , Issue , 2012, Pages 195-202

  Zhou, Bo ^a   Llewellyn Jones, David ^a   Shi, Qi ^a   Asim, Muhammad ^a   Merabti, Madjid ^a   Lamb, David ^a  

^a LIVERPOOL JOHN MOORES UNIVERSITY   (United Kingdom)

Author keywords

Compose Language; Security Analysis; Security Policy; Service Composition

Indexed keywords

GRAPHICAL USER INTERFACES; SECURITY SYSTEMS;

COMPOSE LANGUAGE; COMPOSITION LANGUAGES; MONITORING AND ANALYSIS; SECURE SERVICE COMPOSITIONS; SECURITY ANALYSIS; SECURITY POLICY; SECURITY PROPERTIES; SERVICE COMPOSITIONS;

QUALITY OF SERVICE;

EID: 84881056857     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CyberSecurity.2012.32     Document Type: Conference Paper

References (12)

1. Avantssar website. http://www.avantssar.eu.
2. Sap netweaver composition environment. http://www.sap.com/platform/ netweaver/.
3. W. C. Barker. Recommendation for the triple data encryption algorithm (tdea) block cipher (version 1.1). NIST Special Publication, pages 800-67, May 2008.
4. E. Bell. Looking back at the bell-la padula model. In Proceedings of the 21st Annual Computer Security Application Conference, pages 337-351, Tucson, AZ, USA, December 2005.
5. K. Biba. Integrity Considerations for Secure Computer Systems. Technical Report MTR-3153, Mitre Corporation, Bedford MA, June 1975.
6. P. H. Meland, J. B. Guerenabarrena, and D. Llewellyn-Jones. The challenges of secure and trustworthy service composition in the future internet. In Proceedings of the 6th IEEE International Conference on System of Systems Engineering (SoSE 2011), pages 27-30, Albuquerque, New Mexico, USA, June 2011.
7. B. Schneier. Description of a new variable-length key, 64- bit block cipher (blowfish). In Proceedings of the 2nd International Workshop on Fast Software Encryption, pages 191-204, Leuven, Belgium, December 1994. Springer-Verlag.
8. D. Thorleuchter. High granular multi-level-security model for improved usability. In Proceedings of the IEEE International Conference on System Science, Engineering Design and Manufacturing Informatization (ICSEM), pages 191-194, Guiyang, China, October 2011.
9. S. Trosterer, E. Beck, F. Dalpiaz, E. Paja, P. Giorgini, and M. Tscheligi. Formative user-centered evaluation of security modeling: Results from a case study. Secure Software Engineering, 3(1):1-19, 2012.
10. R. Welke, R. Hirschheim, and A. Schwarz. Service-oriented architecture maturity. Computer, 44(2):61-67, Feburary 2011.
11. B. Zhou, A. Arabo, O. Drew, D. Llewellyn-Jones, M. Merabti, Q. Shi, A. Waller, R. Craddock, G. Jones, and A. Yau. Data flow security analysis for system-of-systems in a public security incident. In Proceedings of the 3rd Conference on Advances in Computer Security and Forensics (ACSF 2008), Liverpool, UK, July 2008.
12. B. Zhou, O. Drew, A. Arabo, D. Llewellyn-Jones, K. Kifayat, M. Merabti, Q. Shi, R. Craddock, A. Waller, and G. Jones. System-of-systems boundary check in a public event scenario. In Proceedings of the 5th International Conference on Systems of Systems Engineering (SoSE 10), Loughborough, UK, June 2010.