3821 search results - page 51 / 765 » A Security Model for Aglets |
ISSE
2006
13 years 7 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 ...
ACSAC
2004
IEEE
13 years 11 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...
CORR
2011
Springer
12 years 11 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...
SACMAT
2009
ACM
14 years 2 months ago
2009
ACM
ACISP
2008
Springer
14 years 2 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...