BibSonomy :: user :: giuliano.losa

Time-bounded task-PIOAs: A framework for analyzing security protocols
Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch, Olivier Pereira, and Roberto Segala. PROCEEDINGS THE 20TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING DISC 2006. VOLUME 4167 OF LNCS., SPRINGER 2006 238–253 INVITED PAPER, page 238--253. Springer, (2006)
Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch, Olivier Pereira, and Roberto Segala. PROCEEDINGS THE 20TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING DISC 2006. VOLUME 4167 OF LNCS., SPRINGER 2006 238–253 INVITED PAPER, page 238--253. Springer, (2006)
a year and 2 months ago
by giuliano.losa
2
crypto distributed model security verification
(0)
URLDOITeX
The Heard-Of model: computing in distributed systems with benign faults
Bernadette Charron-Bost, and André Schiper. Distributed Computing 22(1):49--71 (April 2009)
Bernadette Charron-Bost, and André Schiper. Distributed Computing 22(1):49--71 (April 2009)
3 years and 5 months ago
by giuliano.losa
3
consensus homodel model verification
(0)
URLDOITeX
A model and proof system for asynchronous networks
Bengt Jonsson. PODC '85: Proceedings of the fourth annual ACM symposium on Principles of distributed computing, page 49--58. New York, NY, USA, ACM, (1985)
Bengt Jonsson. PODC '85: Proceedings of the fourth annual ACM symposium on Principles of distributed computing, page 49--58. New York, NY, USA, ACM, (1985)
3 years and 5 months ago
by giuliano.losa
1
distributed model verification
(0)
URL DOI TeX
Round-by-round fault detectors extended abstract: unifying synchrony and asynchrony
Eli Gafni. PODC '98: Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing, page 143--152. New York, NY, USA, ACM, (1998)
Eli Gafni. PODC '98: Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing, page 143--152. New York, NY, USA, ACM, (1998)
3 years and 7 months ago
by giuliano.losa
1
concurrent homodel model roundbased synchrony
(0)
URL DOI TeX
Induction in Compositional Model Checking
Kenneth L. Mcmillan, Shaz Qadeer, and James B. Saxe. (2000)
Kenneth L. Mcmillan, Shaz Qadeer, and James B. Saxe. (2000)
3 years and 7 months ago
by giuliano.losa
2
checking induction model
(0)
URLDOITeX
⟨⟨⟨1⟩⟩⟩

bookmarks

publications (5)