• Using standard verifier to che...

Treffer: Using standard verifier to check secure information flow in Java bytecode

Title:
Using standard verifier to check secure information flow in Java bytecode
Authors:
Bernardeschi, C., De Francesco, N., Lettieri, G.
Source:
Proceedings 26th Annual International Computer Software and Applications Computer software and applications Computer Software and Applications Conference, 2002. COMPSAC 2002. Proceedings. 26th Annual International. :850-855 2002
Relation:
Proceedings of 26th Annual International Computer Software and Applications
Database:
IEEE Xplore Digital Library