Identity-based protocol design patterns for machine-to-machine secure channels | IEEE Conference Publication | IEEE Xplore