15754 search results - page 34 / 3151 » Programs are Knowledge Bases |
89
Voted
IFIP
2009
Springer
15 years 8 months ago
2009
Springer
109
Voted
IFIP
2001
Springer
15 years 8 months ago
2001
Springer
92
Voted
IFIP
2000
Springer
15 years 7 months ago
2000
Springer
80
Voted
IFIP
2000
Springer
15 years 7 months ago
2000
Springer
116
Voted
IFIP
2009
Springer
15 years 1 months ago
2009
Springer
We present a platform that allows a protocol researcher to specify the sequence of games from an initial protocol to a protocol where the security property under consideration can ...