977 search results - page 76 / 196 » Soft Constraints for Security |
ACMSE
2006
ACM
15 years 4 months ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
173
click to vote
CADE
2011
Springer
13 years 10 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
ACSAC
2005
IEEE
15 years 3 months ago
2005
IEEE
The Domain Name System (DNS) is the world’s largest distributed computing system that performs the key function of translating user-friendly domain names to IP addresses through...
ACSAC
2003
IEEE
15 years 3 months ago
2003
IEEE
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...
101
click to vote
COMPSAC
2010
IEEE
14 years 6 months ago
2010
IEEE
Security analysis methods can provide correct yet meaningless results if the assumptions underlying the model do not conform to reality. We present an approach to analyze the secur...