Adaptiveness in Well-Typed java bytecode verification

UTSePress Research/Manakin Repository

Search UTSePress Research

Advanced Search


My Account

Show simple item record Huang, Freeman en_US Jay, Barry en_US Skillicorn, David en_US
dc.contributor.editor Erdogmus, H; Stroulia, E; Stewart, D en_US 2010-05-18T06:49:20Z 2010-05-18T06:49:20Z 2006 en_US
dc.identifier 2006005067 en_US
dc.identifier.citation Huang Freeman, Jay Barry, and Skillicorn David 2006, 'Adaptiveness in Well-Typed java bytecode verification', ACM Press, Toronto, Canada, pp. 1-15. en_US
dc.identifier.issn 1705-7345 en_US
dc.identifier.other E1 en_US
dc.description.abstract Research on security techniques for Java bytecode has paid little attention to the security of the implementations of the techniques themselves, assuming that ordinary tools for programming, verification and testing are sufficient for security. However, different categories of security policies and mechanisms usually require different implementations. Each implementation requires extensive effort to test it and/or verify it.We show that programming with well-typed pattern structures in a statically well-typed language makes it possible to implement static byte-code verification in a fully type-safe and highly adaptive way, with security policies being fed in as first-order parameters, reduces the effort required to verify security of an implementation itself and the programming need for new policies. Also bytecode instrumentation can be handled in exactly the same way. The approach aims at reducing the workload of building and understanding distributed systems, especially those of mobile code. en_US
dc.publisher ACM Press en_US
dc.relation.isbasedon en_US
dc.title Adaptiveness in Well-Typed java bytecode verification en_US
dc.parent Proceedings of the CASCON 2006 en_US
dc.journal.volume en_US
dc.publocation Toronto, Canada en_US
dc.identifier.startpage 1 en_US
dc.identifier.endpage 15 en_US FEIT.School of Software en_US
dc.conference en_US
dc.conference Verified OK en_US
dc.conference.location Toronto, Canada en_US
dc.for 080203 en_US
dc.personcode 0000028565 en_US
dc.personcode 930303 en_US
dc.personcode 0000016944 en_US
dc.percentage 100 en_US Computational Logic and Formal Languages en_US
dc.classification.type FOR-08 en_US
dc.custom Conference of the Center for Advanced Studies on Collaborative Research en_US 20061016 en_US
dc.location.activity Toronto, Canada en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record