책 이미지
eBook 미리보기
책 정보
· 제목 : Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday (Paperback)
· 분류 : 외국도서 > 컴퓨터 > 보안 > 암호
· ISBN : 9783030916305
· 쪽수 : 425쪽
· 출판일 : 2021-11-19
· 분류 : 외국도서 > 컴퓨터 > 보안 > 암호
· ISBN : 9783030916305
· 쪽수 : 425쪽
· 출판일 : 2021-11-19
목차
Cryptography.- Cryptographic Protocols.- Protocol Analysis.- CPSA.- Cybersecurity.- Formal Methods.- Strand Spaces.- Automated Verification.- Model Finding.- Logic.- Attestation.- Accountability.- Differential Privacy.- Quantum Computing.- Game Theory.- Mobile Computing.- Multiset Rewriting.- Proofs and Refutations.
