3229 search results - page 156 / 646 » Theories with the Independence Property |
102
click to vote
CSFW
2009
IEEE
15 years 7 months ago
2009
IEEE
—Formal methods have proved their usefulness for analyzing the security of protocols. Most existing results focus on trace properties like secrecy (expressed as a reachability pr...
98
Voted
CORR
2010
Springer
15 years 28 days ago
2010
Springer
Type-flaw attacks and multi-protocol attacks on security protocols have been frequently reported in the literature. Heather et al. and Guttman et al. proved that these could be pr...
78
Voted
SIGECOM
2008
ACM
15 years 22 days ago
2008
ACM
We examine a class of wagering mechanisms designed to elicit truthful predictions from a group of people without requiring any outside subsidy. We propose a number of desirable pr...
102
Voted
CORR
2007
Springer
15 years 24 days ago
2007
Springer
When a physicist performs a quantic measurement, new information about the system at hand is gathered. This presentation studies the logical properties of how this new information...
105
Voted
ICAIL
2009
ACM
15 years 5 months ago
2009
ACM
We propose an analysis of the codified Law of France as a structured system. Fifty two legal codes are selected on the basis of explicit legal criteria and considered as vertices ...