基于Strand Space的移动计算安全协议设计与正确性证明

机译：校正：用克里斯蒂安森A，AHLSTEDT J，Holmqvist B，Brinte A，Tran Ta，Forssell-Aronsson E，Strand Se，Strand Se，Strand Se，Strand Se，Strand Se，Strand Se，Strand Se，Strand Se，Strand Se，Strand Se，Strand Se，Strand SE，Strand Se，Strand Se，Strand Se，Strand Se，Strand Se，Strand Se，Strand Se，Strand Se，克Se 和？kerstr？m b. antioxidantsandredox信号传导30：1746-1759,2017。Doi：10.1089 / Ars.2018.7517

机译：基于多媒体数据加密的移动计算安全性增强模型与多通道移动人机交互框架的综合研究

机译：移动雾计算安全：基于DQL的用户导向的智能攻击防御策略

机译：用塞子的CCM自动启动STRAND STRAND：在盛开和平板脚轮上的应用

机译：耐延迟/抗干扰的移动RFID网络：系统建模，协议设计和实验评估。

机译：基于具有计算外包和属性吊销的基于多属性属性的签密的雾计算安全数据访问控制

机译：校正：用克里斯蒂安森A，Ahlstedt J，Holmqvist B，Brinte A，Tran Ta，Forssell-Aronsson E，Strand Se，Strand Se，Strand Se，Strand Se，Strand Se，Strand Se，Strand Se，Trand Se，Strand Se，Strand Se，Strand Se，Strand Se，Strand Se，Strand Se，Strand Se，Strand Se，Strand Se，Strand Se，Strand Se，Strand Se，Strand Se，Strand Se，Gram M Åkerströmb.抗氧化剂和氧化还原信号通知30：1746-1759,2017。Doi：10.1089 / Ars.2018.7517

机译：基于组件的路由：一种新的manet路由协议设计方法;会议文件

机译：基于可信计算的移动云计算安全体系结构

机译：密码协议安全验证设备，密码协议设计设备，密码协议安全验证方法，密码协议设计方法和计算机程序产品

机译：加密协议安全验证设备，加密协议设计设备，加密协议安全验证方法，加密协议设计方法，加密协议安全验证程序和加密协议