718 search results - page 63 / 144 » Security protocols, properties, and their monitoring |
170
click to vote
ACSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
New security architectures are difficult to prototype and test at the design stage. Fine-grained monitoring of the interactions between hardware, the operating system, and applica...
155
click to vote
HICSS
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper we present Captain Cook, a service that continuously monitors resources in the Internet, and allows clients to locate resources using this information. Captain Cook ...
155
click to vote
JAR
2006
15 years 6 months ago
2006
SET (Secure Electronic Transaction) is a suite of protocols proposed by a consortium of credit card companies and software corporations to secure ecommerce transactions. The Purcha...
150
click to vote
ESCIENCE
2005
IEEE
15 years 11 months ago
2005
IEEE
The majority of current security architectures for grid systems use public key infrastructure (PKI) to authenticate identities of grid members and to secure resource allocation to...
147
click to vote
ESORICS
2008
Springer
15 years 8 months ago
2008
Springer
The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different ...