Adaptiveness in Well-Typed java bytecode verification

UTSePress Research/Manakin Repository

Search UTSePress Research


Advanced Search

Browse

My Account

Show simple item record

dc.contributor.author Huang, Freeman en_US
dc.contributor.author Jay, Barry en_US
dc.contributor.author Skillicorn, David en_US
dc.contributor.editor Erdogmus, H; Stroulia, E; Stewart, D en_US
dc.date.accessioned 2010-05-18T06:49:20Z
dc.date.available 2010-05-18T06:49:20Z
dc.date.issued 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.identifier.uri http://hdl.handle.net/10453/7003
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 http://delivery.acm.org/10.1145/1190000/1188992/a19-huang.pdf?key1=1188992&key2=2303407711&coll=&dl=GUIDE&CFID=15151515&CFTOKEN=6184618 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
dc.cauo.name 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
dc.classification.name 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
dc.date.activity 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