Now showing items 1-1 of 1

    • Investigating correct-by-construction attack-tolerant systems 

      Constable, Robert; Bickford, Mark; Van Renesse, Robbert (2011-09-12)
      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. ...