ACM Transactions on Programming Languages and Systems (TOPLAS)
A language with distributed scope
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Higher-order distributed objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
A sound type system for secure flow analysis
Journal of Computer Security
Flexible distributed programming using mobile code
EW 7 Proceedings of the 7th workshop on ACM SIGOPS European workshop: Systems support for worldwide applications
Compile-Time Detection of Information Flow in Sequential Programs
ESORICS '94 Proceedings of the Third European Symposium on Research in Computer Security
A General Theory of Composition for Trace Sets Closed under Selective Interleaving Functions
SP '94 Proceedings of the 1994 IEEE Symposium on Security and Privacy
Java In A Nutshell, 5th Edition
Java In A Nutshell, 5th Edition
IEEE Transactions on Software Engineering
Software engineering for mobility: a roadmap
Proceedings of the Conference on The Future of Software Engineering
| Hi-index | 0.00 |