Loı̈c Hélouët

Non-interference in Partial Order Models

2016 · ACM Transactions on Embedded Computing Systems

Non-interference (NI) is a property of systems stating that confidential actions should not cause effects observable by unauthorized users. Several variants of NI have been studied for many types of models but rarely for true …