2043 search results - page 138 / 409 » Reasoning About Security Models |
170
click to vote
AFRICACRYPT
2009
Springer
15 years 11 months ago
2009
Springer
The notion of certified encryption had recently been suggested as a suitable setting for analyzing the security of encryption against adversaries that tamper with the key-registrat...
219
click to vote
CCS
2005
ACM
16 years 13 days ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
178
click to vote
KR
2004
Springer
16 years 7 days ago
2004
Springer
This paper is about decision making based on real-world descriptions of a domain. There are many domains where differentpeoplehavedescribedvariouspartsoftheworldatdifferent f abst...
176
click to vote
LPAR
2007
Springer
16 years 1 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...
119
click to vote
ACL
2010
15 years 5 months ago
2010
English noun/verb (N/V) pairs (contract, cement) have undergone complex patterns of change between 3 stress patterns for several centuries. We describe a longitudinal dataset of N...