3420 search results - page 153 / 684 » A Language-Based Approach to Security |
149
click to vote
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...
146
click to vote
JCS
2010
14 years 11 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
138
click to vote
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
Traditional security analyses are often geared towards cryptographic primitives or protocols. Although such analyses are absolutely necessary, they do not provide much insight for...
134
Voted
SAFECOMP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present several problem frames that serve to structure, characterize and analyze software development problems in the area of software and system security. These probl...
142
click to vote
PERVASIVE
2004
Springer
15 years 9 months ago
2004
Springer
We propose a novel solution for securing wireless ad-hoc networks. Our goal is to provide secure key exchange in the presence of device failures and denial-of-service attacks. The ...