Security oriented service composition: A framework

Khan, Khaled M.; Erradi, Abdelkarim; Alhazbi, Saleh; Han, Jun

doi:10.1109/innovations.2012.6207773

Cited by 11 publications

(8 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Tradicinės ir visuotinės kokybės vadybos skirtumai (Khan 2006a) inžinerinių ar gamybos strategijų. Kompanijos išlaidos mažinamos pašalinant paslaugos ar produkto gamybos metu kylančias klaidas, defektus ir nuostolius (Khan 2006b). Paslaugų sektoriuje lyginamoji analizė yra gerosios praktikos paieškos, kurios tolimesnis pritaikymas lemia išskirtinai gerą paslaugos suteikimą, taikant geriausią paslaugų tiekimo strategiją (Ben-Daya et al 2000).…”

Section: Vadybos Teorijų Vaidmuo Darbo Efektyvumui Laiduotiunclassified

Vadybos funkcijų sv arba orlaivių techninės priežiūros kokybei

Tunčikienė

Grigas

2017

Science - Future of Lithuania

View full text Add to dashboard Cite

show abstract

Section: Vadybos Teorijų Vaidmuo Darbo Efektyvumui Laiduotiunclassified

Vadybos funkcijų sv arba orlaivių techninės priežiūros kokybei

Tunčikienė

Grigas

2017

Science - Future of Lithuania

View full text Add to dashboard Cite

show abstract

“…Other work on service composition focuses on discovering services that have given security properties (e.g., [3,5,15,16,19]). Some of these approaches focus on specific types of security properties (e.g., [16,19]) whilst other focus on how to express and check security properties but only for single partner services of a composition (e.g., [3,5,15]).…”

Section: Related Workmentioning

confidence: 99%

Generating Secure Service Compositions

Pino

Spanoudakis

Fuchs

et al. 2015

Communications in Computer and Information Science

View full text Add to dashboard Cite

This is the accepted version of the paper.This version of the publication may differ from the final published version. Abstract. Ensuring that the compositions of services that constitute service-based systems satisfy given security properties is a key prerequisite for the adoption of the service oriented computing paradigm. In this paper, we address this issue using a novel approach that guarantees service composition security by virtue of the generation of compositions. Our approach generates service compositions that are guaranteed to satisfy security properties based on secure service orchestration (SESO) patterns. These patterns express primitive (e.g., sequential, parallel) service orchestrations, which are proven to have certain global security properties if the individual services participating in them have themselves other security properties. The paper shows how SESO patterns can be constructed and gives examples of proofs for such patterns. It also presents the process of using SESO patterns to generate secure service compositions and presents the results of an initial experimental evaluation of the approach. Permanent repository link

show abstract

“…Another strand of work on automatic service composition focuses on discovering services that can guarantee given security properties (Carminati et al, 2006;Medjahed et al, 2003;Lelarge et al, 2006;Anisetti et al, 2013;Khan et al, 2012). Some of these approaches focus on specific types of security properties (Medjahed et al, 2003;Lelarge et al, 2006), whilst others (Carminati et al, 2006;Anisetti et al, 2013;Khan et al, 2012) focus on how to express and check security properties only for single partner services of a composition.…”

Section: Related Workmentioning

confidence: 99%

“…Some of these approaches focus on specific types of security properties (Medjahed et al, 2003;Lelarge et al, 2006), whilst others (Carminati et al, 2006;Anisetti et al, 2013;Khan et al, 2012) focus on how to express and check security properties only for single partner services of a composition. In contrast, our approach can support arbitrary security properties and properties of entire service compositions.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Discovering Secure Service Compositions

Pino

Spanoudakis

Fuchs

et al. 2014

Proceedings of the 4th International Conference on Cloud Computing and Services Science

View full text Add to dashboard Cite

Abstract:Security is an important concern for service based systems, i.e., systems that are composed of autonomous and distributed software services. This is because the overall security of such systems depends on the security of the individual services they deploy and, hence, it is difficult to assess especially in cases where the latter services must be discovered and composed dynamically. This paper presents a novel approach for discovering secure compositions of software services. This approach is based on secure service orchestration patterns, which have been proven to provide certain security properties and can, therefore, be used to generate service compositions that are guaranteed to satisfy these properties by construction. The paper lays the foundations of the secure service orchestration patterns, and presents an algorithm that uses the patterns to generate secure service compositions and a tool realising our entire approach.

show abstract

Security oriented service composition: A framework

Cited by 11 publications

References 9 publications

Vadybos funkcijų sv arba orlaivių techninės priežiūros kokybei

Vadybos funkcijų sv arba orlaivių techninės priežiūros kokybei

Generating Secure Service Compositions

Discovering Secure Service Compositions

Contact Info

Product

Resources

About