Security-by-Contract (S×C) for Software and Services of Mobile Systems
Elisabetta Di Nitto, Anne-Marie Sassen, Paolo Traverso, Arian J.R. Zwegers · 2009
This chapter contains sections titled: Introduction, Our Vision, What Is a Security Contract?, Static Analysis, Contract-Policy Matching, Runtime Enforcement on Java ME, S×C as a Service-Oriented Architecture, Conclusions, Acknowledgment, Notes, References