381 search results - page 77 / 77 » Model Checking Is Static Analysis of Modal Logic |
243
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...