219 search results - page 17 / 44 » Browser Model for Security Analysis of Browser-Based Protoco... |
CCS
2009
ACM
14 years 3 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...
HICSS
2010
IEEE
14 years 1 months ago
2010
IEEE
While many theoretical arguments against or in favor of open source and closed source software development have been presented, the empirical basis for the assessment of arguments...
CONCUR
2005
Springer
14 years 2 months ago
2005
Springer
Research on the automatic analysis of cryptographic protocols has so far mainly concentrated on reachability properties, such as secrecy and authentication. Only recently it was sh...
NORDSEC
2009
Springer
14 years 1 months ago
2009
Springer
In this paper, we report the results of the formal analysis performed on the Estonian Mobile-ID protocol (deployed since 2008), allowing citizens and permanent residents of Estonia...
TACAS
2007
Springer
14 years 2 months ago
2007
Springer
We describe a new algorithm for analysing security protocols that use XOR, such as key-management APIs. As a case study, we consider the IBM 4758 CCA API, which is widely used in t...