TCP协议的安全性和活性验证

网络协议簇中,传输控制协议TCP是最重要的协议之一,提供面向连接的可靠传输服务．采用Promela描述TCP建立连接和可靠数据传输,并用模型检测工具Spin,验证TCP三次握手协议的安全性与可靠数据传输协议活性的属性．     

新形势下高职院校辅导员工作的新思路探索

高职院校辅导员是保证高职院校学生健康成长成才的重要力量，他们只有根据新形势的需要，不断调整思路，做到整体与个体教育的融合、课堂教育与社会实践教育的融合、科学教育与科学的融合、团队教育与目标教育的融合、教育与自我教育的融合，才能充分发挥好辅导员的教育功能和作用。