Compositional Verification of Secure Applet Interactions (2002)

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