机译:基于CP-net的加密协议的形式验证和攻击序列生成
机译:同样但不同? 表明目标攻击的发展途径 - 德国有针对性学校袭击的青少年和年轻成人犯罪者的定性分析和德国的Jihadi恐怖袭击事件
机译:使用GIS分析了丹麦大风引发后的Ips typographus(L。)(鞘翅目,鞘翅目)袭击的扩散
机译:攻击图的两种形式分析
机译:微电网孤岛检测过程中级联攻击分析的正式框架
机译:相同但不同?示威性示威攻击的发展途径—对德国有针对性的学校攻击和圣战恐怖袭击的青少年犯罪者的定性案例分析
机译:攻击图的两个形式分析*
机译:攻击图的最小化和可靠性分析。