Using Coq to Verify Java Card Applet Isolation Properties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

June Andronick, Boutheina Chetali, Olivier Ly. Using Coq to Verify Java Card Applet Isolation Properties. In David A. Basin, Burkhart Wolff, editors, Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings. Volume 2758 of Lecture Notes in Computer Science, pages 335-351, Springer, 2003. [doi]

This author has not been identified. Look up 'June Andronick' in GoogleThis author has not been identified. Look up 'Boutheina Chetali' in GoogleThis author has not been identified. Look up 'Olivier Ly' in Google

runs on WebDSL