Compatibility of Safety Properties and Possibilistic Information Flow Security in MAKS

Motivated by typical security requirements of workflow management systems, we consider the integrated verification of both safety properties (e.g. separation of duty) and information flow security predicates of the MAKS framework (e.g. modeling confidenti

  • PDF / 13,135,704 Bytes
  • 508 Pages / 453.543 x 683.15 pts Page_size
  • 31 Downloads / 163 Views

DOWNLOAD

REPORT

Data Loading...

Recommend Documents
Modelchecking Safety Properties in Randomized Security Protocols

150 3 7MB

Divergence of Safety and Security

211 16 2MB

Safety Versus Security in Aviation

190 53 2MB

Information Security Education. Education in Proactive Information Security

184 41 9MB

Safety and Security in Knowledge Landscapes

161 82 6MB

Information Security Education. Information Security in Action 13th

197 38 13MB

Safety and Security in Emergency Psychiatry

155 70 4MB

Global Security, Safety and Sustainability: Tomorrow's Challenges of Cyber Security

179 47 27MB

Information Flow

169 36 54MB

Computational Intelligence in Information Assurance and Security

182 53 11MB

Standardization in information security management

163 45 68KB

Safety and Security: Managerial Tensions and Synergies

159 42 2MB