A model-integrated authoring environment for privacy policies

Nádas, András; Levendovszky, Tihamér; Jackson, Ethan K.; Madari, István; Sztipanovits, János

doi:10.1016/j.scico.2013.05.004

Search citation statements

Order By: Relevance

Paper Sections

Select...

The Patrn Mic Toolkit1

) Policy Model Construction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2014

2024

Publication Types

Select...

Article4

Other2

Relationship

Self Cite2

Independent4

Authors

Journals

Cited by 6 publications

(2 citation statements)

References 35 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The Policy Authoring and Reasoning (PATRN) toolkit is an MIC tool suite built upon GME [25]. It provides modeling tools to formalize and reason about privacy policies and this functionality is where its name originates.…”

Section: The Patrn Mic Toolkitmentioning

confidence: 99%

Modeling Privacy Aware Health Information Exchange Systems

2014

Self Cite

View full text Add to dashboard Cite

Section: The Patrn Mic Toolkitmentioning

confidence: 99%

Modeling Privacy Aware Health Information Exchange Systems

2014

Self Cite

View full text Add to dashboard Cite

“…The operational or denominational semantics are given to the templates by anchoring their semantics with a formal specification. This separation of the structural and behavioral semantics enables use of the same patterns and their instantiated models in different target domains such us analysis, verification and/or execution [16].…”

Section: ) Policy Model Constructionmentioning

confidence: 99%

PolicyForge: A collaborative environment for formalizing privacy policies in health care

Nádas¹,

Juracz²,

Sztipanovits³

et al. 2013

2013 5th International Workshop on Software Engineering in Health Care (SEHC)

Self Cite

View full text Add to dashboard Cite

The vision of PolicyForge.org is that it becomes an open repository for privacy policies at local, state and national level; provides collaboration services for discussing, interpreting, and tracking policies; and by embedding formal policy models with relevant ontologies, it provides a wide range of services for authoring, composing, analyzing policy models, and for exporting executable version of the models for Health Information Exchange platforms.

show abstract