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

Usage Automata

Published:2009 Issue: Volume: Page:52-69
ISSN:0302-9743
Container-title:Foundations and Applications of Security Analysis
language:
Short-container-title:

Author:

Bartoletti Massimo

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-03459-6_4

Reference17 articles.

1. Abadi, M., Fournet, C.: Access control based on execution history. In: Proceedings of the 10th Annual Network and Distributed System Security Symposium, San Diego, California, USA, The Internet Society (2003)

2. Bartoletti, M., Degano, P., Ferrari, G.L., Zunino, R.: Local policies for resource usage analysis. To appear in ACM Tran. Programming Languages and Systems

3. Lecture Notes in Computer Science;M. Bartoletti,2007

4. Lecture Notes in Computer Science;M. Bartoletti,2009

5. Bauer, L., Ligatti, J., Walker, D.: More enforceable security policies. In: Proceedings of the Workshop on Foundations of Computer Security (FCS) (2002)

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

1. Layered Memory Automata: Recognizers for Quasi-Regular Languages with Unbounded Memory;Application and Theory of Petri Nets and Concurrency;2022

2. Checking global usage of resources handled with local policies;Science of Computer Programming;2017-01

3. Model checking usage policies;Mathematical Structures in Computer Science;2014-11-10

4. Secure and Unfailing Services;Lecture Notes in Computer Science;2013

5. Metric-Aware Secure Service Orchestration;Electronic Proceedings in Theoretical Computer Science;2012-12-14