Author:
Barthe Gilles,Dufay Guillaume
Publisher
Springer Berlin Heidelberg
Reference97 articles.
1. Roadmap for European Research on Smartcard Technologies, http://www.ercim.org/reset
2. Banerjee, A., Naumann, D.: Stack-based access control for secure information flow. Journal of Functional Programming 15, 131–177 (2005); Special Issue on Language-Based Security.
3. Electronic Notes in Theoretical Computer Science;F. Bannwart,2005
4. Lecture Notes in Computer Science;M. Barnett,2005
5. Barthe, G., Courtieu, P., Dufay, G., de Melo Sousa, S.: Jakarta: tool-assisted specification and verification of the JavaCard Platform. Journal of Automated Reasoning (2006) (to appear)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献