/LC.GIF&client=easterncarolinaedu)
Cryptographic protocol security analysis based on trusted freshness / Ling Dong, Kefei Chen.
| Author/creator | Dong, Ling |
| Other author | Chen, Kefei, 1959- |
| Format | Electronic |
| Publication Info | Beijing : Higher Education Press ; Berlin ; New York : Springer, |
| Description | xi, 373 : ill. ; 24 cm. |
| Supplemental Content | Full text available from Springer Books |
| Supplemental Content | Full text available from Springer Nature - Springer Computer Science eBooks 2012 English International |
| Subjects |
| Contents | Introduction of cryptographic protocols -- Background of cryptographic protocols -- Engineering principles for security design of protocols -- Informal analysis schemes of cryptographic protocols -- Security analysis of real world protocols -- Guarantee of cryptographic protocol security -- Formalism of protocol security analysis -- Design of cryptographic protocols based on trusted freshness -- Automated analysis of cryptographic protocols based on trusted freshness. |
| Bibliography note | Includes bibliographical references and index. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2011937024 |
| ISBN | 9783642240720 (hbk.) |
| ISBN | 3642240720 (hbk.) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |