by Bartosz Brodecki, Jerzy Brzeziński, Piotr Sasak, Michał Szychowiak
Abstract:
This paper considers the problem of modality conflicts insecurity policies for Service-Oriented Architecture (SOA) environments.We describe the importance of this problem and present an algorithmfor discovering modality conflicts with low overhead. Often being of largescale and compound structure, SOA systems can definitely benefit fromthat efficiency boost. Another advantage of the proposal over previouslydeveloped algorithms is its formal proof of correctness, also presented inthis paper.
Reference:
Modality conflict discovery for SOA security policies (Bartosz Brodecki, Jerzy Brzeziński, Piotr Sasak, Michał Szychowiak), In Advanced Parallel Processing Technologies 2011 (APPT 2011) (Olivier Temam, Pen-Chung Yew, Binyu Zang, eds.), Springer-Verlag, volume 6965, 2011.
Bibtex Entry:
@INPROCEEDINGS{BBS+11,
author = {Bartosz Brodecki and Jerzy Brzeziński and Piotr Sasak and Michał
Szychowiak},
title = {Modality conflict discovery for {SOA} security policies},
booktitle = {Advanced Parallel Processing Technologies 2011 (APPT 2011)},
year = {2011},
editor = {Olivier Temam and Pen-Chung Yew and Binyu Zang},
volume = {6965},
series = LNCS,
pages = {112--126},
address = {Shanghai, China},
publisher = {Springer-Verlag},
abstract = {This paper considers the problem of modality conflicts insecurity policies
for Service-Oriented Architecture (SOA) environments.We describe
the importance of this problem and present an algorithmfor discovering
modality conflicts with low overhead. Often being of largescale and
compound structure, SOA systems can definitely benefit fromthat efficiency
boost. Another advantage of the proposal over previouslydeveloped
algorithms is its formal proof of correctness, also presented inthis
paper.},
affiliation = {Poznań University of Technology, Piotrowo 2, 60-965 Poznań, Poland},
doi = {10.1007/978-3-642-24151-2_9},
download = {http://www.springerlink.com/content/hq5g20882hu51761/},
isbn = {978-3-642-24150-5}
}