Abstract Accountability Language: Translation, Compliance and Application

摘要: With the rise of services-based economy and democratization on-line services, more users (individual and/or business) use applications in their daily lives. Usually personal data transits between different actors involved a service's delivery chain (e.g. application/storage service providers) thus might raise some privacy issues. Accountability, which is property an entity being responsible for its acts, can help mitigate disclosures issues such applications. In this paper, we propose translational semantics our accountability language present expected properties. We introduce natural criterion to achieve compliance two clauses few heuristics speed up resolution time. demonstrate feasibility verification process with realistic health care case TSPASS theorem prover.