共 36 条
- [1] Abadi M, 2009, LECT NOTES COMPUT SC, V5643, P35, DOI 10.1007/978-3-642-02658-4_5
- [2] Abdalla M, 2005, LECT NOTES COMPUT SC, V3386, P65
- [3] [Anonymous], [No title captured]
- [4] [Anonymous], 2017, INFORM MATTERS BUSIN
- [5] [Anonymous], [No title captured]
- [6] AVISPA, 2019, AUT VAL INT SEC PROT
- [8] Canetti R, 2002, LECT NOTES COMPUT SC, V2332, P337
- [9] Cremers CJF, 2008, LECT NOTES COMPUT SC, V5123, P414