共 14 条
- [1] A Survey of Information-Centric Networking [J]. IEEE COMMUNICATIONS MAGAZINE, 2012, 50 (07) : 26 - 36
- [3] A Cache Management Scheme for Efficient Content Eviction and Replication in Cache Networks [J]. IEEE ACCESS, 2017, 5 : 1692 - 1701
- [5] Cho E., 2014, P WORKSH SEC EM NETW
- [6] Cremers C., SCYTHER TOOL VERIFIC
- [7] Cremers C, 2006, THEORETICAL COMPUTER, V367, P1
- [8] Ge C., 2013, IEEE COMMUNICATIONS, V15
- [9] Liu HH, 2014, IEEE INT C BIOINFORM
- [10] Casper: A compiler for the analysis of security protocols [J]. 10TH COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 1997, : 18 - 30