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

Yong-Hwan Lee; Werner Jan; Sztipanovits Janos

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 Internet Computing and Services, Vol. 10, No. 4, pp. 139-150, Aug. 2009
Full Text:

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

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 (Past 3 Years)
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.