Compositional Verification of Secure Applet Interactions (2002)

Cached

Download Links

by Gilles Barthe , Dilian Gurov , Marieke Huisman
Venue:Fundamental Approaches to Software Engineering (FASE'02), number 2306 in LNCS
Citations:12 - 3 self