A Simple Framework for Real-time Cryptographic Protocol Analysis with Compositional Proof Rules