Intrusion detection; formal model of mimicry; formal verification; masquerade detection; natural mimicry;
机译:基于形式功能模型的机电系统软件 - 物理协同设计方法
机译:基于功能的软件模型形式验证技术分类
机译:基于正式框架的K-Maude,用于对可扩展软件体系结构进行建模
机译:基于自然模拟的化妆舞会检测软件的正式模型
机译:软件定义网络的基于角色的访问控制:正式模型和实现
机译:无线传感器网络中基于信任的故障检测形式化模型
机译:用于将自然语言规范翻译成正式软件需求的建模技术分析
机译:在UNIX系统中使用基于分类的多项建模方法进行伪装检测