Trustworthy and Controllable Network Architecture and Protocol Framework
Protocol Formal Description and Verification Method Based on RSL