21 search results - page 5 / 5 » Quantitative Separation Logic and Programs with Lists |
SIGADA
2004
Springer
13 years 10 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...