241 search results - page 49 / 49 » Modelling Generic Hardware Structures by Abstract Datatypes |
PLDI
2009
ACM
14 years 1 days ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...