FRAMESEC: a framework for the application development with end-to-end security provision in the mobile computing environment | IEEE Conference Publication | IEEE Xplore