3811 search results - page 431 / 763 » The Safe-Tcl Security Model |
169
Voted
ASIAN
2007
Springer
15 years 10 months ago
2007
Springer
Current information systems are more and more complex. They require more interactions between different components and users. So, ensuring system security must not be limited to us...
191
click to vote
WORM
2003
15 years 8 months ago
2003
We present a general framework for reasoning about network worms and analyzing the potency of worms within a specific network. First, we present a discussion of the life cycle of ...
190
click to vote
PKC
2010
Springer
15 years 8 months ago
2010
Springer
ded abstract of this paper appears in 13th International Conference on Practice and Theory in Public Key Cryptography (PKC) 2010, Lecture Notes in Computer Science Vol. ?, P. Nguye...
167
click to vote
CJ
2007
15 years 6 months ago
2007
Although the Yahalom protocol, proposed by Burrows, Abadi, and Needham in 1990, is one of the most prominent key establishment protocols analyzed by researchers from the computer s...
228
click to vote
JHSN
2006
15 years 6 months ago
2006
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard ...