%0 Journal Article
%T 计算机网络协议的安全性与活性验证
%A 李腊元
%J 计算机科学
%D 1993
%I 
%X 计算机通信协议,或简称协议,是管理网络与分布式系统中各种元素(实体与进程)之间交互与通信的一套规则。协议是并行执行的,可能借助不可靠的传送介质进行通信,因此设计正确可靠的协议,对网络与分布式系统具有特别重要的意义。传统的非形式化技术已在许多实际协议的设计和实现中
%K 计算机网络
%K 网络协议
%K 安全性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=39E2909A8D592A21405B032C6BEC84DD&yid=D418FDC97F7C2EBA&vid=A04140E723CB732E&iid=CA4FD0336C81A37A&sid=5D71B28100102720&eid=AA76E167F386B6B3&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0