180 search results - page 2 / 36 » Verifying Security Properties of Cryptoprotocols: A Novel Ap... |
ICFEM
2003
Springer
13 years 11 months ago
2003
Springer
Abstract. Security protocols preserve essential properties, such as confidentiality and authentication, of electronically transmitted data. However, such properties cannot be dire...
CSFW
2009
IEEE
14 years 1 months ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
BIRTHDAY
2010
Springer
13 years 5 months ago
2010
Springer
In certain critical cases the data flow between business departments in banking organizations has to respect security policies known as Chinese Wall or Bell–La Padula. We show t...
AICCSA
2008
IEEE
14 years 24 days ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
ITC
2002
IEEE
13 years 11 months ago
2002
IEEE
This paper develops a novel approach for formally verifying both safety and liveness properties of designs using sequential ATPG tools. The properties are automatically mapped int...