1183 search results - page 48 / 237 » On flow-sensitive security types |
122
click to vote
OTM
2005
Springer
15 years 10 months ago
2005
Springer
Annotation with security-related metadata enables discovery of resources that meet security requirements. This paper presents the NRL Security Ontology, which complements existing ...
144
click to vote
ASIACRYPT
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We investigate several alternate characterizations of pseudorandom functions (PRFs) and pseudorandom permutations (PRPs) in a concrete security setting. By analyzing the ...
150
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
Software complexity is often hypothesized to be the enemy of software security. We performed statistical analysis on nine code complexity metrics from the JavaScript Engine in the...
132
click to vote
FC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Secure computation is a promising approach to business problems in which several parties want to run a joint application and cannot reveal their inputs. Secure computatio...
121
click to vote
PROVSEC
2007
Springer
15 years 10 months ago
2007
Springer
Security of a modern block cipher is commonly measured in terms of its resistance to known attacks. While the provable security approach to block ciphers dates back to the first C...