239 search results - page 34 / 48 » Approaches to Formal Verification of Security Protocols |
118
click to vote
DEXAW
2008
IEEE
15 years 1 months ago
2008
IEEE
We have proposed in the past three separate methodologies for secure software development. We have found that they have many common and complementary aspects and we proposed a com...
102
click to vote
SP
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
100
click to vote
ICECCS
2005
IEEE
15 years 5 months ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...
118
click to vote
IFIP
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...
175
click to vote
POPL
2002
ACM
16 years 20 hour ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...