대구한의대학교 향산도서관

선택목록저장

검색간략리스트

저널기사
Provably correct Java implementations of Spi Calculus security protocols specifications: / Pironti,Alfredo Sisto,Riccardo / Elsevier Science / Computers & security / 2010 /
항목 :