Can I read Detecting Inconsistencies of Mixed Secrecy Models on EtoBox?

Detecting Inconsistencies of Mixed Secrecy Models by Danh Phan is a document available to read on EtoBox.

What is Detecting Inconsistencies of Mixed Secrecy Models about?

This paper addresses the detection of inconsistencies that arise when combining multiple secrecy models and business policies in enterprise networks. It proposes a method using formal logic and the Alloy analyzer to identify and report these inconsistencies during the design phase, thereby preventing potential conflicts that could undermine system functionality. The authors demonstrate the method

Author

Danh Phan

Language

EN