DocumentCode
3583753
Title
Security Specification at Process Level
Author
Chollet, St?©phanie ; Lalanda, Philippe
Author_Institution
Lab. Inf. de Grenoble, Grenoble
Volume
1
fYear
2008
Firstpage
165
Lastpage
172
Abstract
In this paper, we present a process-oriented tool allowing the specification of security properties at the service composition level. The tool is based on the notions of abstract and concrete services as well as on the concept of separation of concerns. It provides a framework that allows different people to effectively discuss security issues. Abstract services can be viewed as activities rather than as technical services and are such better understood by non-technical people. Similarly, security is discussed in terms of needs and no complex security technologies are to be specified. The tool relies between these two meta-models specifying orchestration-related concepts and security concepts. Meta-links between the meta-models have been defined to specify the authorized security constraints on the orchestrated services. The tool has been validated on an application specified by Thales.
Keywords
formal specification; security of data; meta-links; meta-models; orchestration-related concepts; process-oriented tool; security specification; service composition level; Application software; Communication system control; Companies; Computer industry; Concrete; Costs; Security; Service oriented architecture; Software tools; Web services; Security; process; service composition;
fLanguage
English
Publisher
ieee
Conference_Titel
Services Computing, 2008. SCC '08. IEEE International Conference on
Print_ISBN
978-0-7695-3283-7
Type
conf
DOI
10.1109/SCC.2008.51
Filename
4578461
Link To Document