Formal Methods for Exchange Policy Specification-Reference-Cited by-同舟云学术

Formal Methods for Exchange Policy Specification

Published:2013 Issue: Volume: Page:288-303
ISSN:1612-2909
Container-title:Notes on Numerical Fluid Mechanics and Multidisciplinary Design
language:
Short-container-title:

Author:

Delmas Rémi,Polacsek Thomas

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-38709-8_19

Reference23 articles.

1. Abou El Kalam, A., Baida, R.E., Balbiani, P., Benferhat, S., Cuppens, F., Deswarte, Y., Miège, A., Saurel, C., Trouessin, G.: Organization Based Access Control. 4th IEEE International Workshop on Policies for Distributed Systems and Networks, Policy 2003 (June 2003)

2. Lecture Notes in Computer Science;K. Anastasakis,2007

3. Berre, D.L., Parrain, A.: The sat4j library, release 2.2. JSAT 7(2-3), 59–56 (2010)

4. Bieber, P., Cuppens, F.: A logical view of secure dependencies. Journal of Computer Security 1(1), 99–130 (1992)

5. Bieber, P., Cuppens, F.: Expression of confidentiality policies with deontic logic, pp. 103–123. John Wiley & Sons, Inc., New York (1994)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Towards Thinking Manufacturing and Design Together: An Aeronautical Case Study;Conceptual Modeling;2017

2. AAL and Static Conflict Detection in Policy;Cryptology and Network Security;2016

3. Critical Information Diffusion Systems;Communications in Computer and Information Science;2015

4. Information Exchange Policies at an Organisational Level : Formal Expression and Analysis;Communications in Computer and Information Science;2015

5. Need-to-Share and Non-diffusion Requirements Verification in Exchange Policies;Advanced Information Systems Engineering;2015