...
机译:OSGi服务平台中捆绑身份验证机制的形式验证:BAN Logic
Korea Univ, Dept Comp Sci & Engn, Seoul 136701, South Korea;
Kunsan Natl Univ, Dept Informat & Stat, Gunsan 573701, Jeolabuk Do, South Korea;
Korea Univ, Dept Comp Sci & Engn, Seoul 136701, South Korea;
OSGi; MAC (message authentication code); authentication; BAN Logic;
机译:使用禁令逻辑和AVISPA进行安全证据收集协议的正式验证
机译:基于描述逻辑的服务编排验证的一种形式化方法
机译:OSGi家庭服务平台上的面向优先级的体系结构服务管理
机译:验证OSGi服务平台的基于MAC的服务捆绑身份验证机制
机译:基于等效验证的异步睡眠会议逻辑电路的正式验证方法
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:使用故障停止代理来增强OsGi服务平台中的服务隔离
机译:防止ada服务中拒绝服务的形式规范和验证方法。