2024年8月20日
星期二
|
欢迎来到青海省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
袁志斌
作品数:
5
被引量:8
H指数:2
供职机构:
广东商学院信息学院
更多>>
发文基金:
广东省自然科学基金
广东省教育厅自然科学基金
国家自然科学基金
更多>>
相关领域:
自动化与计算机技术
文化科学
更多>>
合作作者
刘建国
武汉理工大学汽车工程学院
郑心炜
广东商学院信息学院
吴晓云
广东商学院信息学院
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
4篇
中文期刊文章
领域
4篇
自动化与计算...
主题
1篇
形式化
1篇
形式化方法
1篇
隐私
1篇
隐私策略
1篇
站点
1篇
软件开发
1篇
自动机
1篇
网络
1篇
网络隐私
1篇
规约
1篇
P3P
1篇
WEB站
1篇
WEB站点
1篇
BÜCHI自...
机构
4篇
广东商学院
1篇
华中科技大学
1篇
武汉理工大学
作者
4篇
袁志斌
1篇
刘建国
传媒
2篇
电脑与电信
1篇
计算机应用与...
1篇
计算机科学
年份
1篇
2010
1篇
2009
2篇
2008
共
5
条 记 录,以下是 1-4
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
软件开发的形式化方法
被引量:2
2008年
随着计算机及软件系统逐步渗透到社会生活的方方面面,对软件可靠性、安全性和保密性的要求也越来越高.本文阐述了形式化方法的定义、重要性及主要研究内容。着重讨论了形式规约方法,以及演绎证明和模型检测等形式验证方法。
袁志斌
关键词:
形式化方法
规约
基于左右语言的状态迁移系统的优化
2009年
基于左右语言的优化是完全基于自动机理论的优化方法。所谓左语言是指从初始状态到指定状态的语言,而右语言是指从指定状态到接受状态的语言。K-模拟为左右语言的计算提供了一个高效的算法,研究了基于K-模拟的左右语言的Kripke结构、Bchi自动机的优化方法。
刘建国
袁志斌
Büchi自动机的优化综述
被引量:1
2010年
对Büchi自动机进行优化是提高基于自动机的模型检测效率的重要手段。对直接模拟关系、延迟模拟关系和公平模拟关系的概念,进行了比较,并探讨了基于这些模拟关系的自动机优化方法。基于左右语言的优化是完全基于自动机理论的优化方法,于是深入探讨了利用左右语言对Büchi自动机的优化绍方法。最后对未来的研究方向作了简要的介绍。
袁志斌
关键词:
BÜCHI自动机
基于P3P的网络隐私保护
被引量:5
2008年
目前因特网隐私问题已经成为了网络用户最关注的问题之一。P3P通过提供一个标准的可机读格式,以及一个能使Web浏览器自动读取和处理策略的协议的方式表达了Web站点的隐私策略。本文介绍了P3P的工作原理,部署方法以及该领域的进展及研究方向。
袁志斌
关键词:
P3P
网络隐私
隐私策略
WEB站点
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张