Formal models and techniques for analyzing security protocols

Պահպանված է:

Մատենագիտական մանրամասներ
Համատեղ հեղինակ:	ebrary, Inc
Ձևաչափ:	Էլեկտրոնային էլ․ գիրք
Լեզու:	անգլերեն
Հրապարակվել է:	Washington, D.C. : IOS Press, 2011.
Շարք:	Cryptology and information security series ; v. 5.
Խորագրեր:	Computer security. Electronic books.
Առցանց հասանելիություն:	An electronic book accessible through the World Wide Web; click to view
Ցուցիչներ:	Ավելացրեք ցուցիչ Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!

Նկարագրություն
Ֆիզիկական նկարագրություն:	vii, 303 p. : ill.
Մատենագիտություն:	Includes bibliographical references and index.
ISSN:	1871-6431 ;

Նմանատիպ նյութեր