3811 search results - page 197 / 763 » The Safe-Tcl Security Model |
162
click to vote
LPAR
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
171
click to vote
TCC
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We present the first positive obfuscation result for a traditional cryptographic functionality. This positive result stands in contrast to well-known negative impossibil...
153
click to vote
EDOC
2006
IEEE
16 years 18 days ago
2006
IEEE
The paper proposes an approach to content dissemination that exploits the structural properties of XML Document Object Model in order to provide efficient dissemination by at the...
146
click to vote
NDSS
2005
IEEE
16 years 3 days ago
2005
IEEE
This paper analyzes the IEEE 802.11i wireless networking standard with respect to data confidentiality, integrity, mutual authentication, and availability. Under our threat model,...
166
click to vote
FC
2005
Springer
16 years 2 days ago
2005
Springer
We suggest a general paradigm of using large-scale distributed computation to solve difficult problems, but where humans can act as agents and provide candidate solutions. We are e...