1767 search results - page 50 / 354 » Open Source Ecology |
113
Voted
IWPC
2009
IEEE
15 years 10 months ago
2009
IEEE
182
Voted
FOSAD
2009
Springer
15 years 10 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
101
Voted
SEKE
2009
Springer
15 years 10 months ago
2009
Springer
99
Voted
LANC
2009
ACM
15 years 10 months ago
2009
ACM
ARCS
2010
Springer
15 years 9 months ago
2010
Springer