On the implementation of a stand-alone Java/sup TM/ bytecode verifier | IEEE Conference Publication | IEEE Xplore