swMATH24342MaRDI QIDQ36100FDOQ36100
Author name not available (Why is that?)
Official website: https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-563.pdf
Cited In (21)
- Formalising Java RMI with explicit code mobility
- Automatic verification of Java programs with dynamic frames
- Specification and static enforcement of scheduler-independent noninterference in a middleweight Java
- Objects and session types
- SafeDpi
- JoCaml
- AGVI
- ASPIER
- Spi2Java
- UMLsec
- Featherweight Java
- Jif
- Reconciling method overloading and dynamically typed scripting languages
- JavaSPI
- Welterweight Java
- Bouncy Castle
- ZKPDL
- Type-based security for mobile computing integrity, secrecy and liveness
- Asynchronous Session Types and Progress for Object Oriented Languages
- Formally sound implementations of security protocols with JavaSPI
- A reduction semantics for direct-style asynchronous observables
This page was built for software: MJ
