3821 search results - page 51 / 765 » A Security Model for Aglets |
126
click to vote
ISSE
2006
15 years 3 months ago
2006
Abstract As distributed, networked computing systems become the dominant computing platform in a growing range of applications, they increase opportunities for security violations ...
98
Voted
ACSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper discusses VIEWS, a specification for building diagrams that describe the security features of systems. The authors' recent experience with providing security archi...
136
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
96
Voted
SACMAT
2009
ACM
15 years 10 months ago
2009
ACM
129
Voted
ACISP
2008
Springer
15 years 9 months ago
2008
Springer
In the pre-specified peer model for key agreement, it is assumed that a party knows the identifier of its intended communicating peer when it commences a protocol run. On the oth...