Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces-Reference-Cited by-同舟云学术

Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces

Published:2011 Issue: Volume: Page:202-218
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Yang Fan,Aotani Tomoyuki,Masuhara Hidehiko,Nielson Flemming,Nielson Hanne Riis

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-21464-6_14

Reference35 articles.

1. Allan, C., Avgustinov, P., Christensen, A., Hendren, L., Kuzins, S., Lhoták, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Adding trace matching with free variables to AspectJ. In: OOPSLA 2005, p. 364. ACM, New York (2005)

2. Aotani, T., Masuhara, H.: SCoPE: an AspectJ compiler for supporting user-defined analysis-based pointcuts. In: AOSD 2007, pp. 161–172. ACM, New York (2007)

3. Bauer, L., Ligatti, J., Walker, D.: Composing security policies with Polymer. In: PLDI 2005, pp. 305–314. ACM, New York (2005)

4. Lecture Notes in Computer Science;L. Bettini,2003

5. Lecture Notes in Computer Science;L. Bettini,2005

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

1. An Anomalous Behavior Detection Method Using System Call Sequences for Distributed Application;KSII Transactions on Internet and Information Systems;2015-02-28

2. Predictive access control for distributed computation;Science of Computer Programming;2013-09

3. Modeling adaptation with Klaim;ACM SIGAPP Applied Computing Review;2012-12

4. Adding Secure Communication Mechanism to Existing Distributed Applications by means of AOP;Lecture Notes in Electrical Engineering;2012-11-20

5. Scoped Synchronization Constraints for Large Scale Actor Systems;Lecture Notes in Computer Science;2012