Sancus
From MaRDI portal
Software:36079
No author found.
Related Items (2)
A novel computer virus propagation model under security classification ⋮ Fully abstract trace semantics for protected module architectures
This page was built for software: Sancus
