A Simpler Framework Based on the Applied Pi Calculus and Its Application to Electronic Cash Protocol | IEEE Conference Publication | IEEE Xplore