189 search results - page 34 / 38 » Model Checking Correctness Properties of Electronic Contract... |
216
click to vote
ECOOP
2009
Springer
16 years 14 days ago
2009
Springer
Role-based access control (RBAC) is a common paradigm to ensure that users have sufficient rights to perform various system operations. In many cases though, traditional RBAC does ...
119
click to vote
FDL
2004
IEEE
15 years 3 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
105
click to vote
CAV
2008
Springer
15 years 1 months ago
2008
Springer
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...
FTCS
1998
15 years 1 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
109
click to vote
JCS
2010
14 years 6 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...