• 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