DMCA

The ipurge unwinding theorem for csp noninterference security. Archive of Formal Proofs (2015)

by Pasquale Noce
Citations:3 - 3 self