Towards a Usage Control Policy Specification with Petri Nets

On the Move to Meaningful Internet Systems: OTM 2009 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-05151-7_11 ◽

2009 ◽

pp. 905-912 ◽

Author(s):

Basel Katt ◽

Xinwen Zhang ◽

Michael Hafner

Keyword(s):

Control Policy ◽

Usage Control ◽

Policy Specification

Download Full-text

A usage control policy specification with Petri nets

Proceedings of the 5th International ICST Conference on Collaborative Computing: Networking, Applications, Worksharing ◽

10.4108/icst.collaboratecom2009.8394 ◽

2009 ◽

Author(s):

Basel Katt ◽

Michael Hafner ◽

Xinwen Zhang

Keyword(s):

Control Policy ◽

Usage Control ◽

Policy Specification

Download Full-text

Towards purpose enforcement model for privacy-aware usage control policy in distributed healthcare

International Journal of Security and Networks ◽

10.1504/ijsn.2013.055943 ◽

2013 ◽

Vol 8 (2) ◽

pp. 94 ◽

Author(s):

Annanda Thavymony Rath ◽

Jean Noël Colin

Keyword(s):

Control Policy ◽

Download Full-text

Formal model and policy specification of usage control

ACM Transactions on Information and System Security ◽

10.1145/1108906.1108908 ◽

2005 ◽

Vol 8 (4) ◽

pp. 351-387 ◽

Author(s):

Xinwen Zhang ◽

Francesco Parisi-Presicce ◽

Ravi Sandhu ◽

Jaehong Park

Keyword(s):

Formal Model ◽

Usage Control ◽

Policy Specification

Download Full-text

One Novel Computationally Improved Control Policy for Deadlock Problems of Flexible Manufacturing Systems using Petri Nets

Modelling, Identification and Control / 801: Advances in Computer Science ◽

10.2316/p.2013.799-038 ◽

2013 ◽

Author(s):

Yen-Liang Pan ◽

Wei-Shiang Liao ◽

Chia-Hsing Wei ◽

Tzu-Hsiang Huang

Keyword(s):

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Download Full-text

DC Proposal: Knowledge Based Access Control Policy Specification and Enforcement

The Semantic Web – ISWC 2011 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-25093-4_21 ◽

2011 ◽

pp. 293-300

Author(s):

Sabrina Kirrane

Keyword(s):

Access Control ◽

Control Policy ◽

Access Control Policy ◽

Knowledge Based ◽

Policy Specification

Download Full-text

An Architecture for Implementing ’Collaborative Usage Control’ Policy - Toward End-to-End Security Management in Collaborative Computing

Proceedings of the 14th International Conference on Enterprise Information Systems ◽

10.5220/0003967302910294 ◽

2012 ◽

Keyword(s):

Security Management ◽

Control Policy ◽

Collaborative Computing ◽

Usage Control ◽

Download Full-text

The Policy Machine: A novel architecture and framework for access control policy specification and enforcement

Journal of Systems Architecture ◽

10.1016/j.sysarc.2010.04.005 ◽

2011 ◽

Vol 57 (4) ◽

pp. 412-424 ◽

Author(s):

David Ferraiolo ◽

Vijayalakshmi Atluri ◽

Serban Gavrila

Keyword(s):

Access Control ◽

Control Policy ◽

Access Control Policy ◽

Policy Specification

Download Full-text

Control policy for a subclass of Petri nets without reachability analysis

IET Control Theory and Applications ◽

10.1049/iet-cta.2012.0426 ◽

2013 ◽

Vol 7 (8) ◽

pp. 1131-1141 ◽

Author(s):

GaiYun Liu ◽

Fang Yu ◽

Daniel Yuh Chao

Keyword(s):

Control Policy ◽

Reachability Analysis

Download Full-text

Model-Based Usage Control Policy Derivation

Lecture Notes in Computer Science - Engineering Secure Software and Systems ◽

10.1007/978-3-642-36563-8_5 ◽

2013 ◽

pp. 58-74 ◽

Author(s):

Prachi Kumari ◽

Alexander Pretschner

Keyword(s):

Control Policy ◽

Usage Control ◽

Download Full-text

FlexFlow: A Flexible Flow Control Policy Specification Framework

Data and Applications Security XVII - IFIP International Federation for Information Processing ◽

10.1007/1-4020-8070-0_26 ◽

2004 ◽

pp. 358-371 ◽

Author(s):

Shiping Chen ◽

Duminda Wijesekera ◽

Sushil Jajodia

Keyword(s):

Flow Control ◽

Control Policy ◽

Policy Specification

Download Full-text