Author:
DeVries Brian W.,Gupta Gopal,Hamlen Kevin W.,Moore Scott,Sridhar Meera
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Extending Co-logic Programs for Branching-Time Model Checking;Logic-Based Program Synthesis and Transformation;2014
2. Types and Access Controls for Cross-Domain Security in Flash;Programming Languages and Systems;2012
3. Security Issues for Cloud Computing;International Journal of Information Security and Privacy;2010-04
4. Model-Checking In-Lined Reference Monitors;Lecture Notes in Computer Science;2010
5. ActionScript In-Lined Reference Monitoring in Prolog;Practical Aspects of Declarative Languages;2010