MJ
From MaRDI portal
Cited in
(21)- Objects and session types
- SafeDpi
- JoCaml
- AGVI
- Formally sound implementations of security protocols with JavaSPI
- Specification and static enforcement of scheduler-independent noninterference in a middleweight Java
- ASPIER
- Spi2Java
- Reconciling method overloading and dynamically typed scripting languages
- A reduction semantics for direct-style asynchronous observables
- Formalising Java RMI with explicit code mobility
- UMLsec
- Featherweight Java
- Jif
- JavaSPI
- Welterweight Java
- ZKPDL
- Bouncy Castle
- Type-based security for mobile computing integrity, secrecy and liveness
- Asynchronous Session Types and Progress for Object Oriented Languages
- Automatic verification of Java programs with dynamic frames
This page was built for software: MJ
