{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T05:29:34Z","timestamp":1740461374363,"version":"3.37.3"},"reference-count":0,"publisher":"IOS Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"abstract":"<jats:p>Interactions may arise as a result of deploying multiple secrecy (or security) models in a system, i.e. they can arise in hybrid secrecy or security models. To detect and report these issues we propose the use of logic analyzers to determine if the involved secrecy models are mutually coherent and hence they can coexist, as well as the conditions under which they can coexist. We present our preliminary results with respect to secrecy models such as Chinese Wall, Bell-LaPadula, and Delegation of Authority. Our method is based on representing models and policies using the formal technique Alloy, however the method's principles are conjectured to be generic and hence should apply to any secrecy or security model, with different logic-based tools.<\/jats:p>","DOI":"10.3233\/978-1-60750-014-8-160","type":"book-chapter","created":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T13:46:47Z","timestamp":1740404807000},"source":"Crossref","is-referenced-by-count":0,"title":["Interactions among secrecy models"],"prefix":"10.3233","author":[{"family":"Hassan Wa&euml;l","sequence":"additional","affiliation":[]},{"family":"Logrippo Luigi","sequence":"additional","affiliation":[]}],"member":"7437","container-title":["Feature Interactions in Software and Communication Systems X"],"original-title":[],"deposited":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T13:59:57Z","timestamp":1740405597000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.medra.org\/servlet\/aliasResolver?alias=iospressISBN&isbn=978-1-60750-014-8&spage=160"}},"subtitle":["(Work-in-progress paper)"],"short-title":[],"issued":{"date-parts":[[2009]]},"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/978-1-60750-014-8-160","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}