Model checking detectability of attacks in multiagent systems
Model checking detectability of attacks in multiagent systems
复制标题
模型检查多代理系统中攻击的可检测性
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Boureanu I
中科院分区：
文献类型：
--
作者：
Boureanu I
登录
查看更多内容
DOI：
--
发表时间：
2002
期刊：
International Conference on Concurrency Theory
影响因子：
--
作者：
Michele Boreale;M. Buscemi
通讯作者：
M. Buscemi
针对协议攻击的报复
DOI：
--
发表时间：
2008
期刊：
影响因子：
--
作者：
G. Bella;Stefano Bistarelli
通讯作者：
Stefano Bistarelli
将 Web 服务移至安全端
DOI：
10.1109/mdso.2004.1270717
发表时间：
2004
期刊：
IEEE Distributed Syst. Online
影响因子：
--
作者：
J. Tapiador
通讯作者：
J. Tapiador
DOI：
10.1007/10930755_23
发表时间：
2003
期刊：
IEEE Distributed Systems Online
影响因子：
--
作者：
G. Bella;Cristiano Longo;Lawrence Charles Paulson
通讯作者：
Lawrence Charles Paulson
构建用于Web服务应用程序中自动协商的多代理系统
DOI：
10.1109/aamas.2004.79
发表时间：
2004
期刊：
Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004.
影响因子：
--
作者：
Ambroise Ncho;Esma Aïmeur
通讯作者：
Esma Aïmeur