Author:
Barthe Gilles,Gurov Dilian,Huisman Marieke
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. G. Barthe, D. Gurov, and M. Huisman. Compositional specification and verification of control flow based security properties of multi-application programs. In Proceedings of Workshop on Formal Techniques for Java Programs (FTfJP), 2001.
2. P. Bieber, J. Cazin, V. Wiels, G. Zanon, P. Girard, and J.-L. Lanet. Electronic purse applet certification: extended abstract. In S. Schneider and P. Ryan, editors, Proceedings of the workshop on secure architectures and information flow, volume 32 of Elect. Notes in Theor. Comp. Sci. Elsevier Publishing, 2000.
3. Lect Notes Comput Sci;O. Burkart,1997
4. A. Cimatti, E. Clarke, F. Giunchiglia, and M. Roveri. NuSMV: a new symbolic model checker. Software Tools for Technology Transfer (STTT), 2/4:410–425, 2000.
5. Lect Notes Comput Sci;J. Corbett,2000
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献