P. Boury and N. El Kadhi. Static analysis of Java cryptographic applets. ECOOP'2001 Workshop on Formal Techniques for Java Programs. Technical report, FernUniversit at Hagen, 2001. http://www.informatik.fernuni-hagen.de/ import/pi5/workshops/ecoop2001_papers.html. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
CardS4: Modal Theorem Proving on Java Smartcards - Goré, Nguyèn (Correct)
....earlier, for example. There is still little work on methods for checking more sophisticated security properties. Leroy and Rouaix [LR99] address the problem of verifying, by typing, that a down loaded applet does not corrupt designated sensitive data on the system it is down loaded onto. El Kadhi [ElK01, BElK01] applies abstract interpretation methods to design a static analyzer that checks an applet for cryptographic confidentiality preservation properties: the goal is to ensure that designated sensitive data on a card are not leaked to a Dolev Yao style intruder (see [CS01] even though this data may ....
P. Boury and N. El Kadhi. Static analysis of Java cryptographic applets. ECOOP'2001 Workshop on Formal Techniques for Java Programs. Technical report, FernUniversit at Hagen, 2001. http://www.informatik.fernuni-hagen.de/ import/pi5/workshops/ecoop2001_papers.html.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC