You are here

Toward Online Verification of Client Behavior in Distributed Applications

Toward Online Verification of Client Behavior in Distributed Applications Download File

Date: 25 Apr 2013

Document Type: Presentations

Additional documents: PDF icon Presentation11_1.pdf

Associated event: NDSS Symposium 2013

Toward Online Verification of Client Behavior in Distributed Applications
Robert A. Cochran, Michael K. Reiter