Static checking of GDPR-related privacy compliance for object-oriented distributed systems.
Shukun TokasOlaf OweToktam RamezanifarkhaniPublished in: J. Log. Algebraic Methods Program. (2022)
Keyphrases
- distributed systems
- object oriented
- fault tolerant
- distributed environment
- load balancing
- fault tolerance
- distributed computing
- geographically distributed
- message passing
- database technology
- privacy preserving
- operating system
- high assurance
- distributed database systems
- real time systems
- data replication
- concurrent systems
- relational databases
- response time
- agent based systems
- security issues
- databases
- security policies
- software engineering
- mobile computing
- personal information
- object oriented databases
- database design
- mobile agents
- data availability
- data model
- database
- software development environments