8810 search results - page 226 / 1762 » Openness |
110
Voted
DIGITALCITIES
2001
Springer
15 years 9 months ago
2001
Springer
ICSE
2001
IEEE-ACM
15 years 9 months ago
2001
IEEE-ACM
99
Voted
ISRR
2001
Springer
15 years 9 months ago
2001
Springer
139
click to vote
MMMACNS
2001
Springer
15 years 9 months ago
2001
Springer
The history of the application of formal methods to cryptographic protocol analysis spans nearly twenty years, and recently has been showing signs of new maturity and consolidatio...