描述
Extracts protocol message flow from source code, RFCs, academic papers, pseudocode, informal prose, ProVerif (.pv), or Tamarin (.spthy) models and generates…
研究学习 / 检索整理
crypto-protocol-diagram
crypto-protocol-diagram
安装量 1,000GitHub Stars 5,223更新时间 2026年5月16日
安全审计
使用前的风险提示
规则审计
未审计更新 1年1月1日
智能审计
未审计更新 1年1月1日
cryptoprotocoldiagramextractsmessageflowsourcerfcsacademicpaperspseudocodeinformal