An Ontology for run-time Verification of Security Certificates for SOA

被引：1
|
作者：
D'Agostini, Stefania [1 ]
Di Giacomo, Valentina [1 ]
Pandolfo, Claudia [1 ]
Presenza, Domenico [1 ]
机构：
[1] Engn Ingn Informat SpA, Res & Dev Lab, Rome, Italy
来源：
2012 SEVENTH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY (ARES) | 2012年
关键词：
Ontologies for security certification; Service Oriented Architecture (SOA); Service Certification; Service Security; Run-time verification; Semantic Security Certificates;
D O I：
10.1109/ARES.2012.49
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Software systems are often certified to guarantee they satisfy particular functional or non-functional requirements, including safety, security or privacy. In this paper, we propose an approach based on the use of ontologies to support the description of the content of security certificates for services. The work frames in the scope of the ASSERT4SOA project, which investigates the way to dynamically search for services satisfying certain security requirements. The ASSERT4SOA Ontology, the main result of this work, supports the interoperability and comparison of heterogeneous certificates and the run-time verification of the compliance of services with the security requirements asserted in their certificates.
引用
收藏
页码：525 / 533
页数：9
相关论文
共 50 条
  • [1] Analysis and run-time verification of dynamic security policies
    Janicke, Helge
    Siewe, Frangois
    Jones, Kevin
    Cau, Antonio
    Zedan, Hussein
    [J]. DEFENCE APPLICATIONS OF MULTI-AGENT SYSTEMS, 2006, 3890 : 92 - 103
  • [2] Run-time verification
    Colin, S
    Mariani, L
    [J]. MODEL-BASED TESTING OF REACTIVE SYSTEMS, 2005, 3472 : 525 - 555
  • [3] Run-Time Verification of Coboxes
    de Boer, Frank S.
    de Gouw, Stijn
    Wong, Peter Y. H.
    [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2013, 2013, 8137 : 259 - 273
  • [4] Run-Time Verification of Networked Software
    Artho, Cyrille Valentin
    [J]. RUNTIME VERIFICATION, 2010, 6418 : 59 - 73
  • [5] Run-Time Verification of Optimistic Concurrency
    Sezgin, Ali
    Tasiran, Serdar
    Muslu, Kivanc
    Qadeer, Shaz
    [J]. RUNTIME VERIFICATION, 2010, 6418 : 384 - +
  • [6] On the run-time verification of autonomy software
    Tiwari, A
    Sinha, P
    Ramachandran, U
    [J]. 28TH ANNUAL NASA GODDARD SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS, 2004, : 58 - 65
  • [7] Run-time Resource Management in SOA Virtualized Environments
    Ardagna, Danilo
    Mirandola, Raffaela
    Trubian, Marco
    Zhang, Li
    [J]. QUASSOSS 09: 1ST INTERNATIONAL WORKSHOP ON THE QUALITY OF SERVICE-ORIENTED SOFTWARE SYSTEM, 2009, : 39 - 46
  • [8] Run-time requirements verification for reconfigurable systems
    Chatzikonstantinou, George
    Kontogiannis, Kostas
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2016, 75 : 105 - 121
  • [9] Astree: Verification of absence of run-time error
    Mauborgne, L
    [J]. BUILDING THE INFORMATION SOCIETY, 2004, 156 : 385 - 392
  • [10] Run-Time Security Traceability for Evolving Systems
    Bauer, Andreas
    Juerjens, Jan
    Yu, Yijun
    [J]. COMPUTER JOURNAL, 2011, 54 (01): : 58 - 87
12345