東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Operational semantics and verificati...

Cremers, Cas.{me_controlnum}

FindBook

Google Book

Amazon

博客來

Operational semantics and verification of security protocols

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Operational semantics and verification of security protocols/ by Cas Cremers, Sjouke Mauw.
作者:	Cremers, Cas.{me_controlnum}
其他作者:	Mauw, Sjouke.
出版者:	Berlin, Heidelberg :Springer Berlin Heidelberg : : 2012.,
面頁冊數:	xiii, 172 p. :ill., digital ;24 cm.
內容註:	Introduction -- Preliminaries -- Operational Semantics -- Security Properties -- Verification -- Multiprotocol Attacks -- Generalizing NSL for Multiparty Authentication -- Related Work -- Conclusions and Future Work -- Index.
Contained By:	Springer eBooks
標題:	Computer security. -
電子資源:	http://dx.doi.org/10.1007/978-3-540-78636-8
ISBN:	9783540786368 (electronic bk.)

Operational semantics and verification of security protocols
Cremers, Cas.{me_controlnum}

Operational semantics and verification of security protocols[electronic resource] /by Cas Cremers, Sjouke Mauw. - Berlin, Heidelberg :Springer Berlin Heidelberg :2012. - xiii, 172 p. :ill., digital ;24 cm. - Information security and cryptography,1619-7100. - Information security and cryptography..

Introduction -- Preliminaries -- Operational Semantics -- Security Properties -- Verification -- Multiprotocol Attacks -- Generalizing NSL for Multiparty Authentication -- Related Work -- Conclusions and Future Work -- Index.

Security protocols are widely used to ensure secure communications over insecure networks, such as the internet or airwaves. These protocols use strong cryptography to prevent intruders from reading or modifying the messages. However, using cryptography is not enough to ensure their correctness. Combined with their typical small size, which suggests that one could easily assess their correctness, this often results in incorrectly designed protocols.The authors present a methodology for formally describing security protocols and their environment. This methodology includes a model for describing protocols, their execution model, and the intruder model. The models are extended with a number of well-defined security properties, which capture the notions of correct protocols, and secrecy of data. The methodology can be used to prove that protocols satisfy these properties. Based on the model they have developed a tool set called Scyther that can automatically find attacks on security protocols or prove their correctness. In case studies they show the application of the methodology as well as the effectiveness of the analysis tool.The methodology’s strong mathematical basis, the strong separation of concerns in the model, and the accompanying tool set make it ideally suited both for researchers and graduate students of information security or formal methods and for advanced professionals designing critical security protocols.

ISBN: 9783540786368 (electronic bk.)Subjects--Topical Terms:

540555
Computer security.

LC Class. No.: QA76.9.A25 / C74 2012

Dewey Class. No.: 005.8

Operational semantics and verification of security protocols
LDR:02595nmm a2200289 a 4500 001 1329204
003 DE-He213
005 20121121152325.0
006 m d
007 cr nn 008maaau
008 130207s2012 gw s 0 eng d
020 $a 9783540786368 (electronic bk.)
020 $a 9783540786351 (paper)
035 $a 978-3-540-78636-8
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.A25 $b C74 2012
082 0 4 $a 005.8 $2 23
090 $a QA76.9.A25 $b C915 2012
100 1 $a Cremers, Cas.{me_controlnum} $3 1620908
245 1 0 $a Operational semantics and verification of security protocols $h [electronic resource] / $c by Cas Cremers, Sjouke Mauw.
260 $a Berlin, Heidelberg : $b Springer Berlin Heidelberg : $b Imprint: Springer, $c 2012.
300 $a xiii, 172 p. : $b ill., digital ; $c 24 cm.
490 1 $a Information security and cryptography, $x 1619-7100
505 0 $a Introduction -- Preliminaries -- Operational Semantics -- Security Properties -- Verification -- Multiprotocol Attacks -- Generalizing NSL for Multiparty Authentication -- Related Work -- Conclusions and Future Work -- Index.
520 $a Security protocols are widely used to ensure secure communications over insecure networks, such as the internet or airwaves. These protocols use strong cryptography to prevent intruders from reading or modifying the messages. However, using cryptography is not enough to ensure their correctness. Combined with their typical small size, which suggests that one could easily assess their correctness, this often results in incorrectly designed protocols.The authors present a methodology for formally describing security protocols and their environment. This methodology includes a model for describing protocols, their execution model, and the intruder model. The models are extended with a number of well-defined security properties, which capture the notions of correct protocols, and secrecy of data. The methodology can be used to prove that protocols satisfy these properties. Based on the model they have developed a tool set called Scyther that can automatically find attacks on security protocols or prove their correctness. In case studies they show the application of the methodology as well as the effectiveness of the analysis tool.The methodology’s strong mathematical basis, the strong separation of concerns in the model, and the accompanying tool set make it ideally suited both for researchers and graduate students of information security or formal methods and for advanced professionals designing critical security protocols.
650 0 $a Computer security. $3 540555
650 0 $a Computer networks $x Security measures. $3 579161
650 0 $a Semantic computing. $3 1067496
650 1 4 $a Computer Science. $3 626642
650 2 4 $a Data Structures, Cryptology and Information Theory. $3 891008
650 2 4 $a Computer Systems Organization and Communication Networks. $3 891212
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 891214
700 1 $a Mauw, Sjouke. $3 907165
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Information security and cryptography. $3 1620909
856 4 0 $u http://dx.doi.org/10.1007/978-3-540-78636-8
950 $a Computer Science (Springer-11645)