Service Automata-Reference-Cited by-同舟云学术

Service Automata

Published:2012 Issue: Volume: Page:148-163
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Gay Richard,Mantel Heiko,Sprick Barbara

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-29420-4_10.pdf

Reference16 articles.

1. Lecture Notes in Computer Science;B. Aziz,2008

2. Lecture Notes in Computer Science;D.A. Basin,2009

3. Lecture Notes in Computer Science;D.A. Basin,2010

4. Basin, D.A., Olderog, E.R., Sevinç, P.E.: Specifying and analyzing security automata using CSP-OZ. In: ACM Symposium on Information, Computer and Communications Security, pp. 70–81. ACM (2007)

5. Chadwick, D.W., Su, L., Otenko, A., Laborde, R.: Coordination between Distributed PDPs. In: 7th IEEE International Workshop on Policies for Distributed Systems and Networks, pp. 163–172. IEEE Computer Society (2006)

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

1. Automating Safety and Security Co-design through Semantically Rich Architecture Patterns;ACM Transactions on Cyber-Physical Systems;2023-01-31

2. From Attacker Models to Reliable Security;Proceedings of the 2019 ACM Asia Conference on Computer and Communications Security;2019-07-02

3. Decentralized Dynamic Security Enforcement for Mobile Applications with CliSeAuDroid;Foundations and Practice of Security;2019

4. Data Usage Control for Distributed Systems;ACM Transactions on Privacy and Security;2018-06-02

5. Fast Distributed Evaluation of Stateful Attribute-Based Access Control Policies;Data and Applications Security and Privacy XXXI;2017