您當(dāng)前的位置：成果庫 > 一種基于MSVL的社交網(wǎng)絡(luò)系統(tǒng)建模及隱私策略性質(zhì)驗證方法
303
2018/08/20
咨詢成果
發(fā)布成果基本信息
- 成果類型 高等院校
- 委托機構(gòu) 西安電子科技大學(xué)
- 成果持有方 西安電子科技大學(xué)
- 行業(yè)領(lǐng)域 應(yīng)用軟件開發(fā)
- 項目名稱 一種基于MSVL的社交網(wǎng)絡(luò)系統(tǒng)建模及隱私策略性質(zhì)驗證方法
- 知識產(chǎn)權(quán) 發(fā)明專利
- 項目簡介 本發(fā)明公開了一種基于MSVL的社交網(wǎng)絡(luò)系統(tǒng)建模及隱私策略性質(zhì)驗證方法，首先采用框架投影時序邏輯程序設(shè)計語言MSVL對社交網(wǎng)絡(luò)系統(tǒng)進行建模，同時采用命題投影時序邏輯PPTL描述其中的隱私策略性質(zhì)，最后通過MSV解釋器加以驗證，得出該社交網(wǎng)絡(luò)的隱私策略性質(zhì)是否正確。本發(fā)明中，系統(tǒng)建模用MSVL程序，隱私策略性質(zhì)用PPTL描述，MSVL是PTL的可執(zhí)行子集，PPTL是PTL的命題子集，兩者同屬PTL框架結(jié)構(gòu)，使得兩者可以統(tǒng)一在MSV解釋器中執(zhí)行，相比于其他方法，本發(fā)明不需要調(diào)用另外的工具，也不需要再定義另外的邏輯語言、簡單方便，而且MSV解釋器可以給出準確的結(jié)果示意圖。
交易信息
- 意向交易額 面議
- 掛牌時間 2018/01/02
- 委托機構(gòu) 西安電子科技大學(xué)
- 聯(lián)系人姓名 王小剛
- 聯(lián)系人電話 15802954800
- 聯(lián)系人郵箱 745490733@qq.com
- 分享至：
