3811 search results - page 292 / 763 » The Safe-Tcl Security Model |
204
click to vote
CSREASAM
2009
15 years 7 months ago
2009
This paper presents the basics of a new paradigm that allows generators and consumers of global contextual information to determine an appropriate security level needed for contex...
198
click to vote
TC
2008
15 years 6 months ago
2008
In a distributed key distribution scheme, a set of servers help a set of users in a group to securely obtain a common key. Security means that an adversary who corrupts some server...
180
click to vote
ESAS
2006
Springer
15 years 10 months ago
2006
Springer
We investigate the performance of of several protocol enhancements to the On-Demand Secure Byzantine Routing (ODSBR) [3] protocol in the presence of various Byzantine Attack models...
190
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
In this work, we investigate the security of anonymous wireless sensor networks. To lay down the foundations of a formal framework, we propose a new model for analyzing and evalua...
182
click to vote
TYPES
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...