3 results  save search


...
hal-01499957v1  Book sections
Xavier LeroyFrançois Rouaix. Security properties of typed applets
Jan Vitek; Christian D. Jensen Secure Internet Programming - Security issues for Mobile and Distributed Objects, 1603, Springer, pp.147-182, 1999, LNCS, 978-3-540-66130-6. ⟨10.1007/3-540-48749-2_7⟩
...
hal-01499963v1  Conference papers
Xavier LeroyFrançois Rouaix. Security properties of typed applets
POPL 1998: 25th symposium Principles of Programming Languages, Jan 1998, San Diego, United States. pp.391-403, ⟨10.1145/268946.268979⟩