Verifiable Assume-Guarantee Privacy Specifications for Actor Component Architectures

Claiborne Johnson
Claiborne Johnson
Thomas MacGahan
Thomas MacGahan
John Heaps
John Heaps

SACMAT, pp. 167-178, 2017.

Cited by: 2|Bibtex|Views18|DOI:https://doi.org/10.1145/3078861.3078873
EI
Other Links: dl.acm.org|dblp.uni-trier.de|academic.microsoft.com

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments