576 search results - page 64 / 116 » Modeling Adversaries in a Logic for Security Protocol Analys... |
151
click to vote
ICDCS
2008
IEEE
16 years 5 days ago
2008
IEEE
— Recently, multi-hop wireless mesh networks (WMNs) have attracted increasing attention and deployment as a low-cost approach to provide broadband Internet access at metropolitan...
169
click to vote
FROCOS
2007
Springer
15 years 12 months 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...
163
click to vote
CRYPTO
2011
Springer
14 years 5 months ago
2011
Springer
Secure computation enables mutually suspicious parties to compute a joint function of their private inputs while providing strong security guarantees. Amongst other things, even i...
186
click to vote
CCS
2005
ACM
15 years 11 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
160
click to vote
FM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...