Integration and Verification of Privacy Policies Using DSML's Structural Semantics in a SOA-Based Workflow Environment


Yong-Hwan Lee, Werner Jan, Sztipanovits Janos, Journal of Information Processing Systems Vol. 10, No. 4, pp. 139-150, Aug. 2009  


Keywords: DSML, Policy Model, Workflow Model, Model Verification, Model Integration
Fulltext:

Abstract

In order to verify that a lot of legal requirements and regulations are correctly translated into software, this paper provides a solution for formal and computable representations of rules and requirements in data protection legislations with a DSML (Domain Specific Modeling Language). All policies are formally specified through Prolog and then integrated with DSML, According to the time of policy verification, this solution has two kinds of policies: static policies, dynamic policies.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from November 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.




Cite this article
[APA Style]
Lee, Y., Jan, W., & Janos, S. (2009). Integration and Verification of Privacy Policies Using DSML's Structural Semantics in a SOA-Based Workflow Environment. Journal of Internet Computing and Services, 10(4), 139-150.

[IEEE Style]
Y. Lee, W. Jan, S. Janos, "Integration and Verification of Privacy Policies Using DSML's Structural Semantics in a SOA-Based Workflow Environment," Journal of Internet Computing and Services, vol. 10, no. 4, pp. 139-150, 2009.

[ACM Style]
Yong-Hwan Lee, Werner Jan, and Sztipanovits Janos. 2009. Integration and Verification of Privacy Policies Using DSML's Structural Semantics in a SOA-Based Workflow Environment. Journal of Internet Computing and Services, 10, 4, (2009), 139-150.