See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/2489036 Compositional Verification of Secure Applet Interactions ARTICLE in LECTURE NOTES IN COMPUTER SCIENCE · NOVEMBER 2001 Impact Factor: 0.51 · DOI: 10.1007/3-540-45923-5_2 · Source: CiteSeer CITATIONS 20 READS 31 3 AUTHORS, INCLUDING: Dilian Gurov KTH Royal Institute of Technology 62 PUBLICATIONS 430 CITATIONS SEE PROFILE Marieke Huisman University of Twente 92 PUBLICATIONS 1,152 CITATIONS SEE PROFILE Available from: Dilian Gurov Retrieved on: 15 January 2016