Title
Nontransitive Policies Transpiled
Abstract
Nontransitive Noninterference (NTNI) and Nontransitive Types (NTT) are a new security condition and enforcement for policies which, in contrast to Denning's classical lattice model, assume no transitivity of the underlying flow relation. Nontransitive security policies are a natural fit for coarse-grained information-flow control where labels are specified at module rather than variable level of g...
Year
DOI
Venue
2021
10.1109/EuroSP51992.2021.00043
2021 IEEE European Symposium on Security and Privacy (EuroS&P)
DocType
ISBN
Citations 
Conference
978-1-6654-1491-3
0
PageRank 
References 
Authors
0.34
0
3
Name
Order
Citations
PageRank
Mohammad M. Ahmadpanah100.68
Aslan Askarov264222.64
Andrei Sabelfeld32692121.16