Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks最新文献

Using event calculus to formalise policy specification and analysis 使用事件演算形式化策略规范和分析

Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks Pub Date : 2003-06-04 DOI: 10.1109/POLICY.2003.1206955

A. Bandara, Emil C. Lupu, A. Russo

{"title":"Using event calculus to formalise policy specification and analysis","authors":"A. Bandara, Emil C. Lupu, A. Russo","doi":"10.1109/POLICY.2003.1206955","DOIUrl":"https://doi.org/10.1109/POLICY.2003.1206955","url":null,"abstract":"As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of policy specifications. Although this is an area that researchers have devoted some attention to, none of the proposed solutions address the issues of analysing specifications that combine authorisation and management policies; analysing policy specifications that contain constraints on the applicability of the policies; and performing a priori analysis of the specification that will both detect the presence of inconsistencies and explain the situations in which the conflict will occur. We present a method for transforming both policy and system behaviour specifications into a formal notation that is based on event calculus. Additionally it describes how this formalism can be used in conjunction with abductive reasoning techniques to perform a priori analysis of policy specifications for the various conflict types identified in the literature. Finally, it presents some initial thoughts on how this notation and analysis technique could be used to perform policy refinement.","PeriodicalId":391947,"journal":{"name":"Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115021119","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 205

A policy language for a pervasive computing environment 用于普适计算环境的策略语言

Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks Pub Date : 2003-06-04 DOI: 10.1109/POLICY.2003.1206958

Lalana Kagal, Timothy W. Finin, A. Joshi

引用次数: 623

Analysis of integrity policies using soft constraints 使用软约束的完整性策略分析

Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks Pub Date : 2003-06-04 DOI: 10.1109/POLICY.2003.1206959

Stefano Bistarelli, S. Foley

引用次数: 13

A PBNM system for integrated QoS and multicast management 一种综合QoS和组播管理的PBNM系统

Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks Pub Date : 2003-06-04 DOI: 10.1109/POLICY.2003.1206980

L. Granville, L. Vaguetti, M. Almeida, L. Tarouco

引用次数: 1

Policy contexts: controlling information flow in parameterised RBAC 策略上下文:在参数化RBAC中控制信息流

Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks Pub Date : 2003-06-04 DOI: 10.1109/POLICY.2003.1206964

András Belokosztolszki, D. Eyers, K. Moody

引用次数: 32

Towards automated negotiation of access control policies 实现访问控制策略的自动协商

Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks Pub Date : 2003-06-04 DOI: 10.1109/POLICY.2003.1206965

Vijay G. Bharadwaj, J. Baras

引用次数: 33

Using policies in the checking of business to business contracts 在企业对企业合同的检查中使用策略

Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks Pub Date : 2003-06-04 DOI: 10.1109/POLICY.2003.1206975

P. Linington, Stephen W. Neal

引用次数: 14

Policy based electronic transmission of prescriptions 基于政策的处方电子传输

Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks Pub Date : 2003-06-04 DOI: 10.1109/POLICY.2003.1206974

D. Chadwick, D. Mundy

{"title":"Policy based electronic transmission of prescriptions","authors":"D. Chadwick, D. Mundy","doi":"10.1109/POLICY.2003.1206974","DOIUrl":"https://doi.org/10.1109/POLICY.2003.1206974","url":null,"abstract":"We describe the PERMIS PMI role based authorisation policy, and show how it has been applied to the electronic transfer of prescriptions (ETP). The assignment of roles is distributed to the appropriate authorities in the health care and government sectors. This includes the assignment of both professional roles such as doctor and dentist, as well as patient roles that entitle patients to free prescriptions. All roles are stored as X.509 attribute certificates (ACs) in LDAP directories, which are managed by the assigning authorities. The PERMIS policy based decision engine subsequently retrieves these role ACs in order to make granted or denied access control decisions required by the ETP applications. The source of authority for setting the ETP policy is assumed to be the Secretary of State for Health. The ETP policy says what roles are recognised, who is authorised to assign the roles, what privileges are granted to each role and what conditions are attached to these privileges. The ETP policy is then formatted in XML, embedded in an X.509 attribute certificate, digitally signed by the Secretary of State for Health, and then stored in an LDAP directory. From here it can be accessed by all the ETP applications in the UK National Health Service that contain embedded policy based PERMIS decision engines.","PeriodicalId":391947,"journal":{"name":"Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125677920","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 19

A policy based approach for automated topology management of peer to peer networks and a prototype implementation 一种基于策略的对等网络自动拓扑管理方法及原型实现

Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks Pub Date : 2003-06-04 DOI: 10.1109/POLICY.2003.1206978

Antonio Di Ferdinando, P. McKee, A. Amoroso

引用次数: 14

Towards policy-based information management for the Joint Battlespace Infosphere 面向联合战场信息空间的基于策略的信息管理

Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks Pub Date : 2003-06-04 DOI: 10.1109/POLICY.2003.1206961

R. Cherinka, C. Wild, D. Allen, C. Smith, Y. Zhang, R. Panek, S. Semy

引用次数: 3