Su	Mo	Tu	We	Th	Fr	Sa
31	1	2	3	4	5	6
7	8	9	10	11	12	13
14	15	16	17	18	19	20
21	22	23	24	25	26	27
28	29	30	1	2	3	4

Formal Correctness of Security Protocols [Repost]

Date: 28 Feb 2017 10:16:03

Formal Correctness of Security Protocols (Information Security and Cryptography) by Giampaolo Bella
English | 5 Mar. 2007 | ISBN: 3540681345 | 281 Pages | PDF | 3 MB

The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols examined include Kerberos versions, smartcard protocols, non-repudiation protocols, and certified email protocols. The method of analysis turns out to be both powerful and flexible.

-= My Blog! =-

Download from icerbox.com

IT Security InfoSec Cryptography

Tags

Language العربية հայերէն Български Català 中文 Hrvatski Čeština Dansk Nederlands English Eesti keel Føroyskt Suomi Vlaams Français ქართული Deutsch řomani čhib Ελληνικά עברית हिन्दी Magyar Íslenska Bahasa Indonesia Irish Italiano 日本語 한국어 Language neutral Latin Makedonski jazik Bokmål Other Polski Português Română Русский Scandinavian Srpski Slovenščina Español Svenska ภาษาไทย བོད་སྐད་ Türkçe Українська tiếng Việt

Tags: Biographies Business Children Classics Cooking Crime Development Diets Drawing eLearning Video English Erotica Fiction Finance History Learn English More Courses In English Non-Fiction Painting Personal Development Personality Philosophy Photo Physics Politics Programming Psychology Python Romance science Science SCIENCE Teens & Young Adult Thrillers

April 2024