설명
Provides The Reader With A Tutorial On Some Modern Techniques To Model And Automatically Analyze Security Protocols. The Tutorial Can Be Used As A Basis For A Master Or Graduate Course On The Topic, Or As A Primer For Researchers From Different Areas To Get An Overview Of The Kinds Of Techniques That Are Available.
책 세부 정보
형식
페이퍼백
페이지
134 페이지
언어
영어
출판됨
11월 14, 2014
출판사
Now Publishers Inc
판
Reprint
판본
판본 2개
ISBN-10
1601989024
ISBN-13
9781601989024