Adaptiveness in Well-Typed java bytecode verification

DSpace/Manakin Repository

Search OPUS


Advanced Search

Browse

My Account

Show simple item record

dc.contributor.author Huang, FY
dc.contributor.author Jay, B
dc.contributor.author Skillicorn, D
dc.contributor.editor Erdogmus, H
dc.contributor.editor Stroulia, E
dc.contributor.editor Stewart, D
dc.date.accessioned 2010-05-18T06:49:20Z
dc.date.issued 2006-01
dc.identifier.citation Proceedings of the CASCON 2006, 2006, pp. 1 - 15
dc.identifier.issn 1705-7345
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.
dc.publisher ACM Press
dc.relation.isbasedon 10.1145/1190000/1188992/a19-huang.pdf?key1=1188992&key2=2303407711&coll=&dl=GUIDE&CFID=15151515&CFTOKEN=6184618
dc.title Adaptiveness in Well-Typed java bytecode verification
dc.type Conference Proceeding
dc.parent Proceedings of the CASCON 2006
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 Conference of the Center for Advanced Studies on Collaborative Research
dc.conference.location Toronto, Canada en_US
dc.for 080203 Computational Logic and Formal Languages
dc.personcode 930303
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.date.activity 2006-10-16
dc.location.activity Toronto, Canada en_US
pubs.embargo.period Not known
pubs.organisational-group /University of Technology Sydney
pubs.organisational-group /University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group /University of Technology Sydney/Faculty of Engineering and Information Technology/School of Software
pubs.organisational-group /University of Technology Sydney/Strength - Quantum Computation and Intelligent Systems
utslib.copyright.status Closed Access
utslib.copyright.date 2015-04-15 12:17:09.805752+10
utslib.collection.history Closed (ID: 3)


Files in this item

This item appears in the following Collection(s)

Show simple item record