43 search results - page 5 / 9 » ASASP: Automated Symbolic Analysis of Security Policies |
83
Voted
CCS
2009
ACM
15 years 6 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
104
Voted
CCS
2008
ACM
15 years 1 months ago
2008
ACM
This paper presents the first type system for statically analyzing security protocols that are based on zero-knowledge proofs. We show how several properties offered by zero-knowl...
102
Voted
COMPSAC
2006
IEEE
15 years 5 months ago
2006
IEEE
Service-based systems have many applications, such as collaborative research and development, e-business, health care, military applications, and homeland security. In dynamic ser...
89
Voted
CSL
2010
Springer
15 years 22 days ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
ICDE
2007
IEEE
15 years 6 months ago
2007
IEEE
Trust management is a form of access control that uses delegation to achieve scalability beyond a single organization or federation. However, delegation can be difficult to contr...