共 12 条
- [8] Casper: A compiler for the analysis of security protocols[J] . Gavin Lowe.Journal of Computer Security . 1998 (1,2)
- [9] Blockchain applica- tions and use cases in health information technology .2 RANDALL D,GOEL P,ABUJAMRA R. J.Health.Med.Informat . 2017
- [10] On the semantic security of functional encryption schemes .2 Barbosa M,Farshim P. Public-Key Cryptography-PKC 2013 . 2013