Enforcing Private Policy via Security-by-Contract
Abstract
This work aims to investigate how the Security-by-Contract paradigm, developed for providing security assurances to mobile applications, can be used for guaranteeing the security of communicating systems composed by several, heterogeneous components.
Domains
Software Engineering [cs.SE]
Origin : Files produced by the author(s)
Loading...