formal specification; specification languages; formal logic; multicast protocols; policy specification; multicast group integrity; multicast group management system; group management language; group management protocols;
机译:政策机器:用于访问控制政策规范和实施的新颖架构和框架
机译:用于访问控制策略规范,分析和执行的严格框架
机译:GEODAC:外包服务的数据保证政策规范和实施框架
机译:MGMS / GML-建立新的策略规范框架以实现多播组完整性
机译:使用参数化角色和域规则的电子病历的隐私感知访问控制策略规范框架
机译:克罗地亚医学杂志研究完整性编辑的五年报告–政策警务或警务政策
机译:多媒体组播中的组完整性管理框架
机译:可靠的多播协议规范流控制和NaCK策略