12107 search results - page 22 / 2422 » Software That Can Think |
58
Voted
INTERACTIONS
2007
15 years 1 months ago
2007
65
Voted
COMPUTER
2000
15 years 1 months ago
2000
ICSE
2010
IEEE-ACM
15 years 6 months ago
2010
IEEE-ACM
107
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
In this paper, we present a way to think about the relative strength of security protocols using SoS, a lattice-theoretic representation of security strength. In particular, we di...
FSTTCS
2007
Springer
15 years 8 months ago
2007
Springer
