Sept. 14 - Application of Game Theory to High Assurance Cloud Computing