Concept of formal verification of ORCA security policies

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

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

Reference:

Concept of formal verification of ORCA security policies (Bartosz Brodecki, Jerzy Brzeziński, Piotr Sasak, Michał Szychowiak), Technical report, CSPUT, 2009.

Bibtex Entry:

@TECHREPORT{BBS+09b,
  author = {Bartosz Brodecki and Jerzy Brzeziński and Piotr Sasak and Michał
	Szychowiak},
  title = {Concept of formal verification of {ORCA} security policies},
  institution = CSPUT,
  year = {2009},
  number = {TR-ITSOA-OB7-5-PR-09-06},
  month = dec
}