模型抽取相关论文
随着信息时代的发展，人们越来越关注隐私数据的保护，信息安全问题变得越来越突出。安全协议作为网络通信中保证数据安全传输的基石，其......
安全协议Web实施是网络空间安全的重要组成部分。目前,人们在抽象模型层面验证了安全的安全协议,在实际开发时,程序员根据抽象模型......
物联网(Internet Of Things,Io T)如今已深入到个人生活和工业生产的各个方面,智能设备大量出现在家庭生活中,为用户带来舒适和便......
形式化方法为安全协议分析提供了理论工具,但经过形式化验证过的协议标准在转换为具体程序实现时,可能无法满足相应的安全属性.为......
以模型检验为目标,从时间的约束角度出发,提出一种基于XML文档的Web应用的模型抽取方法.模型抽取由时间及相关链接的提取、模型构......
提出了融合产品静态特性信息和动态演变信息的集成化产品模型框架,该框架支持数据集成和设计过程集成.静态特性信息中的产品核心信......
模型检查实际程序设计语言编写的程序是近年来程序验证领域的研究热点之一，出现了一批针对C，C＋＋或Java语言的程序模型检查器原型。总结......
以模型检验为目标,从时间的约束角度出发,提出一种基于XML文档的Web应用的模型抽取方法。模型抽取由时间及相关链接的提取、模型构......
以模型验证为目标，提出一种Web应用FSM（finite state machines）模型的抽取方法．该方法将模型抽取划分为链接提取、模型构造和结果显示．......
为了实现从复杂的装配体中抽取部分零部件进行CAE分析,同时保持被抽取零部件的空间位置关系不变。利用VC2005开发环境和Pro/E自带......
分析IOS平台上的安全协议Swift语言实施安全性,对保障IOS应用安全具有重要意义。首先对已有安全协议Swift语言实施进行分析,确定Sw......
形式化方法是验证并发系统可靠性和安全性的重要手段。对高级语言开发的并发系统自动抽取的模型进行形式化验证是模型检测技术领域......
