101 search results - page 3 / 21 » Formal approach to security metrics.: what does |
122
Voted
FM
2006
Springer
15 years 4 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
107
click to vote
CCS
2010
ACM
15 years 23 days ago
2010
ACM
A communication channel from an honest sender A to an honest receiver B can be described as a system with three interfaces labeled A, B, and E (the adversary), respectively, where...
125
click to vote
ESEM
2010
ACM
14 years 11 months ago
2010
ACM
Open source software is often considered to be secure because large developer communities can be leveraged to find and fix security vulnerabilities. Eric Raymond states Linus’ L...
90
Voted
WSC
2004
15 years 1 months ago
2004
Traditional approaches to security evaluation have been based on penetration testing of real systems, or analysis of formal models of such systems. The former suffer from the prob...
ISSTA
2006
ACM
15 years 6 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...