TINMAN: A Resource Bound Security Checking System for Mobile Code. 7th European Symposium on Research in Computer Security. Lecture Notes in Computer Science 2502, Springer-Verlag (2002) 178-193 2. Necula, G.C.: Proof-Carrying Code. ACM Symposium on Princ (1997)


Download Links

by Aloysius K. Mok , Weijiang Yu
Venue:S.: Resource Bound Certification. The 27th Annual ACM Symposium on Principles of Programming Languages
Citations:3 - 3 self