20 search results - page 3 / 4 » Recent Development in Information Technology Security Evalua... |
CSFW
1999
IEEE
13 years 10 months ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...
FC
2007
Springer
14 years 12 days ago
2007
Springer
1 2 There is a critical need in computer security to communicate risks and thereby enable informed decisions by naive users. Yet computer security has not been engaged with the sc...
DRM
2006
Springer
13 years 10 months ago
2006
Springer
One of the most fundamental problems in computer security is protecting sensitive digital information from unauthorized disclosure. There are a number of challenges, such as spywa...
LREC
2008
13 years 7 months ago
2008
The growing dependence of modern society on the Web as a vital source of information and communication has become inevitable. However, the Web has become an ideal channel for vari...
WSE
2006
IEEE
14 years 7 days ago
2006
IEEE
The widespread adoption of web services as an instant means of information dissemination and various other transactions, has essentially made them a key component of today’s Int...