Modality conflict discovery for SOA security policies

Brodecki, Bartosz; Brzeziński, Jerzy; Sasak, Piotr; Szychowiak, Michał

doi:10.1007/978-3-642-24151-2_9

by Bartosz Brodecki, Jerzy Brzeziński, Piotr Sasak, Michał Szychowiak

Abstract:

This paper considers the problem of modality conﬂicts insecurity policies for Service-Oriented Architecture (SOA) environments.We describe the importance of this problem and present an algorithmfor discovering modality conﬂicts with low overhead. Often being of largescale and compound structure, SOA systems can deﬁnitely beneﬁt fromthat eﬃciency 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 conﬂicts insecurity policies
	for Service-Oriented Architecture (SOA) environments.We describe
	the importance of this problem and present an algorithmfor discovering
	modality conﬂicts with low overhead. Often being of largescale and
	compound structure, SOA systems can deﬁnitely beneﬁt fromthat eﬃciency
	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}
}