MJ
From MaRDI portal
Software:36100
swMATH24342MaRDI QIDQ36100FDOQ36100
Author name not available (Why is that?)
Cited In (9)
- 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
- Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness
- Objects and session types
- Reconciling method overloading and dynamically typed scripting languages
- 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
