A Proof-Carrying-Code Infrastructure for Resources | IEEE Conference Publication | IEEE Xplore