16.2 如何使用加密原语或协议——文雅标准与形式验证