232 search results - page 18 / 47 » Verifying persistent security properties |
FAC
2008
13 years 8 months ago
2008
Ten years ago the Mondex electronic purse was certified to ITSEC Level E6, the highest level of assuranceforsecuresystems.ThisinvolvedbuildingformalmodelsintheZnotation,linkingthem...
C3S2E
2009
ACM
14 years 18 days ago
2009
ACM
This paper proposes a security analysis framework for dynamic web applications. A reverse engineering process is performed over a dynamic web application to extract a rolebased ac...
IM
2007
13 years 10 months ago
2007
- Many researchers have considered security policy management, including how to configure policies manually and even how to automatically generate security policies based on securi...
IJNSEC
2008
13 years 8 months ago
2008
The ASW protocol is one of the prominent optimistic fair exchange protocols that is used for contract signing between two participants, the originator and the responder, with the ...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
Although good encryption functions are probabilistic, most symbolic models do not capture this aspect explicitly. A typical solution, recently used to prove the soundness of such ...