Editing Applet (section)

===Open platform applets===
Applets in an [[open platform]] environment should provide secure interactions between different applications. A compositional approach can be used to provide security for open platform applets.<ref name="Compositional">{{cite book
|chapter=Compositional Verification of Secure Applet Interactions
|last1=Barthe
|first1=Gilles
|title=Fundamental Approaches to Software Engineering
|volume=2306
|pages=15–32
|last2=Gurov
|first2=Dilian
|last3=Huisman
|first3=Marieke
|year=2002
|citeseerx=10.1.1.16.1254
|doi=10.1007/3-540-45923-5_2
|series=Lecture Notes in Computer Science
|isbn=978-3-540-43353-8
}}</ref>  Advanced compositional verification methods have been developed for secure applet interactions.<ref name="Compositional"/>