300 search results - page 26 / 60 » Formal Methods for Smartcard Security |
124
click to vote
COMPSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
As computing technology becomes increasingly pervasive and interconnected, mobility leads to shorter-lasting relationships between end-points with many different security requirem...
159
click to vote
SERP
2010
15 years 28 days ago
2010
We propose a formal method to automatically integrate security rules regarding an access control policy (expressed in Or-BAC) in Java programs. Given an untrusted application and a...
120
click to vote
ICSM
2002
IEEE
15 years 8 months ago
2002
IEEE
Testing for software security is a lengthy, complex and costly process. Currently, security testing is done using penetration analysis and formal verification of security kernels....
136
click to vote
ICDCIT
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper argues for performing information-flow-based security analysis in the first phaseof the software development life cycle itself ie in the requirements elicita...
166
click to vote
FORTE
2009
15 years 25 days ago
2009
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...