西部产学研在线服务平台
| 关注我们
扫描二维码
口袋专利

专利在线查询

描二维码
西部产学研在线

官方公众号

|关于我们
平台简介 帮助中心
|网站导航
| 咨询热线：029-88202821
您当前的位置：科技成果 > 一种基于MSVL的社交网络系统建模及隐私策略性质验证方法

一种基于MSVL的社交网络系统建模及隐私策略性质验证方法

2212018/08/20
咨询成果 发布成果
基本信息
  • 成果类型 高等院校
  • 委托机构 西安电子科技大学
  • 成果持有方 西安电子科技大学
  • 行业领域 应用软件开发
  • 项目名称 一种基于MSVL的社交网络系统建模及隐私策略性质验证方法
  • 知识产权 发明专利
  • 成果成熟度
  • 项目简介 本发明公开了一种基于MSVL的社交网络系统建模及隐私策略性质验证方法，首先采用框架投影时序逻辑程序设计语言MSVL对社交网络系统进行建模，同时采用命题投影时序逻辑PPTL描述其中的隐私策略性质，最后通过MSV解释器加以验证，得出该社交网络的隐私策略性质是否正确。本发明中，系统建模用MSVL程序，隐私策略性质用PPTL描述，MSVL是PTL的可执行子集，PPTL是PTL的命题子集，两者同属PTL框架结构，使得两者可以统一在MSV解释器中执行，相比于其他方法，本发明不需要调用另外的工具，也不需要再定义另外的逻辑语言、简单方便，而且MSV解释器可以给出准确的结果示意图。
交易信息
  • 意向交易额 面议
  • 挂牌时间 2018/01/02
  • 委托机构 西安电子科技大学
  • 分享至：