Verifiable Assume-Guarantee Privacy Specifications for Actor Component Architectures
SACMAT, pp. 167-178, 2017.
Many organizations process personal information in the course of normal operations. Improper disclosure of this information can be damaging, so organizations must obey privacy laws and regulations that impose restrictions on its release or risk penalties. Since electronic management of personal information must be held in strict complianc...More
Full Text (Upload PDF)
PPT (Upload PPT)