1183 search results - page 97 / 237 » On flow-sensitive security types |
157
click to vote
CSFW
2004
IEEE
15 years 8 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
143
click to vote
FPLAY
2008
15 years 6 months ago
2008
User authentication involves establishing a user's right to access a system. Most user authentication is done with text passwords, which have advantages over other approaches...
155
click to vote
IJCSA
2006
15 years 4 months ago
2006
Analysis of the effect of different parameters of the RC4 encryption algorithm where examined. Some experimental work was performed to illustrate the performance of this algorithm...
143
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
Design, development and evaluation of adaptive, scalable, and power aware Bio/Nature inspired routing protocols has received a significant amount of attention in the recent past....
139
click to vote
ESOP
2005
Springer
15 years 10 months ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...