3951 search results - page 38 / 791 » Automatic amortized analysis |
ATVA
2005
Springer
15 years 4 months ago
2005
Springer
FSKD
2005
Springer
15 years 4 months ago
2005
Springer
MIR
2004
ACM
15 years 4 months ago
2004
ACM
CCS
2004
ACM
15 years 4 months ago
2004
ACM
103
click to vote
ICICS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. The NRL Pump protocol defines a multilevel secure component whose goal is to minimize leaks of information from high level systems to lower level systems, without degrad...