Abstract
In web services paradigm, multiple heterogeneous web services collaborate to carry out the complex functionality demanded by the users. While using these services, privacy preservation is the major concern for users. Safeguarding their personally identifiable information (PII) from unauthorized usage is the top most priority of service providers in order to survive in the highly competitive market. Like other areas of digital life, preserving privacy is also a prominent concern in healthcare services. The patients' sensitive PII in online services is more at the risk of disclosure without their consent. Currently privacy policy enforcement is done manually in such scenarios, which increases the risk of inadvertent disclosure of the stored PII. This paper is the first step towards automation of privacy policies and laws enforcement in traditional access control frameworks through formal specification of web services in Z notation.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
