Author:
Arenas Alvaro,Aziz Benjamin,Bicarregui Juan,Matthews Brian
Subject
General Computer Science,Theoretical Computer Science
Reference18 articles.
1. The B Book;Abrial,1996
2. Introducing Dynamic Constraints in B;Abrial,1998
3. Toward Web Services Profiles for Trust and Security in Virtual Organisations;Arenas,2005
4. P. Bieber and N. Boulahia-Cuppens. Formal Development of Authentication Protocols. In BCS-FACS Sixth Refinement Workshop, 1994
5. D. Brewer and M. Nash. The Chinese Wall Policy. In IEEE Symposium on Research in Security and Privacy. IEEE, 1989
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Ambientes de formação de organizações virtuais orientadas à inovação de produto;Revista de Gestão e Secretariado (Management and Administrative Professional Review);2023-05-02
2. Empathy in Virtual Organization: Lesson Learned from Indonesia Covid-19 Pandemic;Proceedings of the Annual International Conference on Social Science and Humanities (AICOSH 2022);2022
3. On Formalising Policy Refinement in Grid Virtual Organisations;Software Engineering Research, Management and Applications;2014
4. Refinement-Based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations;Adaptation and Value Creating Collaborative Networks;2011