Java Bytecode Verification by Model Checking

Authors:
David A. Basin;Stefan Friedrich;Joachim Posegga;Harald Vogt
Affiliations:
-;-;-;-
Venue:
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Year:
1999

Citing 4
Cited 1

Java security: hostile applets, holes&antidotes

Java security: hostile applets, holes&antidotes
Data flow analysis is model checking of abstract interpretations

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Java Virtual Machine Specification

Java Virtual Machine Specification
Safe, Untrusted Agents Using Proof-Carrying Code

Mobile Agents and Security

Firewall mechanism in a user centric smart card ownership model

CARDIS'10 Proceedings of the 9th IFIP WG 8.8/11.2 international conference on Smart Card Research and Advanced Application

Quantified Score

Hi-index	0.00

Visualization

Abstract