3811 search results - page 380 / 763 » The Safe-Tcl Security Model |
171
click to vote
IJISEC
2008
15 years 6 months ago
2008
We present a model checking technique for security protocols based on a reduction to propositional logic. At the core of our approach is a procedure that, given a description of th...
162
click to vote
EOR
2007
15 years 6 months ago
2007
Recent results have used game theory to explore the nature of optimal investments in the security of simple series and parallel systems. However, it is clearly important in practi...
184
click to vote
EUROCRYPT
2000
Springer
15 years 10 months ago
2000
Springer
Password-based protocols for authenticated key exchange (AKE) are designed to work despite the use of passwords drawn from a space so small that an adversary might well enumerate, ...
175
Voted
ACSAC
1998
IEEE
15 years 11 months ago
1998
IEEE
The increasing complexity of cellular radio networks yields new demands concerning network security. Especially the task of detecting, repulsing and preventing abuse both by in- a...
195
click to vote
FC
2006
Springer
15 years 10 months ago
2006
Springer
Although Instant Messaging (IM) services are now relatively long-standing and very popular as an instant way of communication over the Internet, they have received little attention...