IP networks; telecommunication network routing; authorisation; telecommunication security; CROCODILE multi-view tool; security semantics checking; router configurations; IP networks; RAT tool;
机译:图形一致性检查:一种检查段语义一致性的工具
机译:基于语义Web的路由配置管理
机译:IoTChecker:用于物联网配置安全性分析的数据驱动框架
机译:用于检查路由器配置安全语义的多视图工具
机译:分析主要Web浏览器中的安全策略以及开发多浏览器和多平台浏览器配置工具:打开浏览器GP。
机译:电子病历安全配置的循证工具:电子安全检查表
机译:医疗报警器可听系统检查器(MAASC):用于检查医疗报警配置以进行同步遮罩的计算工具