搜索到 篇“ TAMARIN “的相关文章

相关作者

黄文超
作品数：59被引量：49H指数：5
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：形式化验证 形式化建模 合约 形式化建模与验证 移动终端
熊焰
作品数：154被引量：539H指数：10
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：无线传感器网络 形式化验证 移动自组网 移动代理 WSN
赵宇
作品数：37被引量：85H指数：5
供职机构：解放军信息工程大学
研究主题：网络功能 在线社会网络 宽带移动 密码协议 信令
陈晶
作品数：14被引量：12H指数：3
供职机构：教育部
研究主题：区块链 纳米结构脂质载体 高效液相色谱法 交易 可扩展性
杜瑞颖
作品数：170被引量：318H指数：10
供职机构：武汉大学
研究主题：信息安全 存储开销 无线传感器网络 密文检索 隐私保护