COMPUTER PROGRAMS; COMPUTERS; COSTS; INFORMATION SYSTEMS; JOINTS (JUNCTIONS); PROGRAM VERIFICATION (COMPUTERS); PROTOCOL (COMPUTERS); RISK; SECURITY; SOFTWARE ENGINEERING; TROUGHS; VULNERABILITY; model checking; security; software; formal methods;
机译:SSL内部:安全套接字层协议
机译:无线传感器网络中使用带有安全套接字层(SSL)协议的DNA密码术进行安全通信
机译:基于内核线程的安全套接字层(SSL)加速器的软件实现
机译:安全套接字层协议的正式验证
机译:跨层技术可确保对等协议的安全,以进行位置,邻接和身份验证。
机译:802.11s无线网状网络路由协议及其安全路由协议的安全性分析
机译:安全套接字层(SSL)协议版本3.0
机译:基于模型的Nasa系统安全套接字层(ssL)协议验证