QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 限定条件 内容类型：会议论文     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 LBS privacy protection technology based on searchable encryption mechanism 会议论文 Beijing, China, May 25, 2018 - May 27, 2018 作者:  Feng, Tao;  Wang, Xudong;  Li, Xinghua 收藏  |  浏览/下载：0/0  |  提交时间：2020/11/15 Cryptography  Global positioning system  Information services  Location  Manufacture  Search engines  Telecommunication services  Wireless sensor networks  Location privacy protection  Mobile communication networks  Mobile intelligent terminals  Positioning technologies  Privacy protection model  Search information  Searchable encryptions  Security properties   Model checking quantum key distribution protocols 会议论文 作者:  Huang, Baichuan;  Huang, Yan;  Kong, Jiaming;  Huang, Xin 收藏  |  浏览/下载：10/0  |  提交时间：2019/11/26 BB84  Discrete time Markov chains  Group QKD  Probabilistic computation tree logic  Quantum information theory  Quantum key distribution protocols  Security properties  Verification techniques   Centrality metrics of importance in access behaviors and malware detections 会议论文 作者:  Mao, Weixuan;  Cai, Zhongmin;  Guan, Xiaohong;  Towsley, Don 收藏  |  浏览/下载：9/0  |  提交时间：2019/12/02 Access Behaviors  Centrality  Dependency networks  Importance Metrics  Malware detection  Security properties  Security protection  Selective protection   Security properties analysis of routing protocol for MANET 会议论文 作者:  Xu, Donghong;  Jiang, Shujuan;  Qi, Yong 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/18 Abstract interpretations  Attack model  Denotational semantics  Formal analysis  Manet  Secure protocols  Security properties  SPI calculus   Simulation of typical behavior user using Markov models 会议论文 2011 作者:  Borisovs,A.;  Osipov,P. 收藏  |  浏览/下载：8/0  |  提交时间：2020/01/04 statistical  analysis  information  systems  Markov  processes  security  of  data  statistical  properties  user  behavior  simulation  Markov  models  user  behavior  modelling  electronic  information  system  Measurement  Analytical  models  Training  Biological  system  modeling  Load  modeling  electronic  medical  record  Markov  model  detection  of  abnormal  activity