Skip to main content


eCommons@Cornell

eCommons@Cornell >
Faculty of Computing and Information Science >
Computing and Information Science >
Computing and Information Science Technical Reports >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1813/23575
Title: Investigating correct-by-construction attack-tolerant systems
Authors: Constable, Robert
Bickford, Mark
Van Renesse, Robbert
Keywords: distributed system
adaptive
correct-by-construction
logic
Issue Date: 12-Sep-2011
Abstract: Attack-tolerant distributed systems change their protocols on-the-fly in response to apparent attacks from the environment; they substitute functionally equivalent versions possibly more resistant to detected threats. Alternative protocols can be packaged together as a single adaptive protocol or variants from a formal protocol library can be sent to threatened groups of processes. We are experimenting with libraries of attack-tolerant protocols that are correct-by-construction and testing them in environments that simulate specified threats, including constructive versions of the famous FLP imaginary adversary against fault-tolerant consensus. We expect that all variants of tolerant protocols are automatically generated and accompanied by machine checked proofs that the generated code satisfies formal properties.
URI: http://hdl.handle.net/1813/23575
Appears in Collections:Computing and Information Science Technical Reports

Files in This Item:

File Description SizeFormat
Investigating Correct-by-construction attack-tolerant systems.pdftechnical report62.17 kBAdobe PDFView/Open

Refworks Export

Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.

 

© 2014 Cornell University Library Contact Us