Filters: Author is Silvia S. Pelozo [Clear All Filters]
“Security Analysis in Probabilistic Distributed Protocols via Bounded Reachability”, in Trustworthy Global Computing - 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers, 2013. paper-239.pdf (329.79 KB)
,