Computer and Information Sciences Department, University of Pennsylvania, 3330 Walnut Street, Philadelphia, PA 19104-6389;
Network Research Group, BBN Technologies, 10 Moulton Street, Cambridge, MA 02138;
Computer and Information Sciences Department, University of Pennsylvania, 3330 Walnut Street, Philadelphia, PA 19104-6389;
Computer and Information Sciences Department, University of Pennsylvania, 3330 Walnut Street, Philadelphia, PA 19104-6389;
declarative networking; network protocol verification; domain-specific languages; theorem proving;
机译:声明性网络:有关协调,正确性和声明性语义的最新理论工作
机译:声明式网络的声明性
机译:在Isabelle / HOL中编程和验证声明性一阶证明人
机译:一种用于全球网络安全配置验证和评估的声明性方法
机译:关于在声明性网络系统中使用上下文和策略的信息。
机译:大型语义网络的声明性查询接口
机译:自动验证声明网络计划的安全性质