Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

1 Array
Image document

A Formal Equivalence Classes Based Method for Security Policy Conformance Checking

Eckehard Hermann , Udo Litschauer , Jürgen Fuss
International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Aug 2012, Prague, Czech Republic. pp.146-160, ⟨10.1007/978-3-642-32498-7_12⟩
Conference papers hal-01542451v1