Order-based concurrency control Can Cloud Computing Systems Offer High Assurance Without Losing Key Cloud Properties? Ken Birman, Cornell University CS6410 1 High Assurance…