Extensible security architectures for Java
Proceedings of the sixteenth ACM symposium on Operating systems principles
Role-based access control in Java
RBAC '98 Proceedings of the third ACM workshop on Role-based access control
Proof linking: an architecture for modular verification of dynamically-linked mobile code
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Type-safe linking and modular assembly language
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Techniques for trusted software engineering
Proceedings of the 20th international conference on Software engineering
MOCA: a service framework for mobile computing devices
Proceedings of the 1st ACM international workshop on Data engineering for wireless and mobile access
Design and implementation of a distributed virtual machine for networked computers
Proceedings of the seventeenth ACM symposium on Operating systems principles
Role-based access control on the Web using Java
RBAC '99 Proceedings of the fourth ACM workshop on Role-based access control
Using production grammars in software testing
Proceedings of the 2nd conference on Domain-specific languages
Verifying object initialization in the Java bytecode language
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
A secure execution framework for Java
Proceedings of the 7th ACM conference on Computer and communications security
Secure Execution of Java Applets Using a Remote Playground
IEEE Transactions on Software Engineering
Proof linking: modular verification of mobile programs in the presence of lazy, dynamic linking
ACM Transactions on Software Engineering and Methodology (TOSEM)
Separating access control policy, enforcement, and functionality in extensible systems
ACM Transactions on Computer Systems (TOCS)
Providing policy-neutral and transparent access control in extensible systems
Secure Internet programming
Security issues surrounding programming languages for mobile code: JAVA vs. Safe-Tcl
ACM SIGOPS Operating Systems Review
Unicorn: voluntary computing over Internet
ACM SIGOPS Operating Systems Review
IEEE Internet Computing
Securing Systems Against External Programs
IEEE Internet Computing
Security Control for COTS Components
Computer
The Operational Semantics of a Java Secure Processor
Formal Syntax and Semantics of Java
A Practical Method for Watermarking Java Programs
COMPSAC '00 24th International Computer Software and Applications Conference
VECPAR '00 Selected Papers and Invited Talks from the 4th International Conference on Vector and Parallel Processing
Proceedings of the FREENIX Track: 2001 USENIX Annual Technical Conference
Towards Secure Downloadable Executable Content: The Java Paradigm
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Java Bytecode Verification by Model Checking
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Proceedings of the 25th International Conference on Software Engineering
An internet-based computing platform for the boundary element method
Advances in Engineering Software
Lightweight Bytecode Verification
Journal of Automated Reasoning
Towards agile security assurance
NSPW '04 Proceedings of the 2004 workshop on New security paradigms
The KaffeOS Java runtime system
ACM Transactions on Programming Languages and Systems (TOPLAS)
Sub-operating systems: a new approach to application security
EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop
ROST: Remote and hot service deployment with trustworthiness in CROWN Grid
Future Generation Computer Systems
Secure object sharing in java card
WOST'99 Proceedings of the USENIX Workshop on Smartcard Technology on USENIX Workshop on Smartcard Technology
Security of web browser scripting languages: vulnerabilities, attacks, and remedies
SSYM'98 Proceedings of the 7th conference on USENIX Security Symposium - Volume 7
Proof linking: distributed verification of java classfiles in the presence of multiple classloaders
JVM'01 Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1
Using production grammars in software testing
DSL'99 Proceedings of the 2nd conference on Conference on Domain-Specific Languages - Volume 2
Architectural support for run-time validation of program data properties
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
| Hi-index | 0.00 |