Cargando…
The modelling and analysis of security protocols: the CSP approach
| Autores principales: | , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Addison-Wesley
2001
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/1505729 |
| _version_ | 1780927314114117632 |
|---|---|
| author | Ryan, Peter Schneider, S A |
| author_facet | Ryan, Peter Schneider, S A |
| author_sort | Ryan, Peter |
| collection | CERN |
| id | cern-1505729 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 2001 |
| publisher | Addison-Wesley |
| record_format | invenio |
| spelling | cern-15057292021-04-21T23:50:21Zhttp://cds.cern.ch/record/1505729engRyan, PeterSchneider, S AThe modelling and analysis of security protocols: the CSP approachComputing and ComputersAddison-Wesleyoai:cds.cern.ch:15057292001 |
| spellingShingle | Computing and Computers Ryan, Peter Schneider, S A The modelling and analysis of security protocols: the CSP approach |
| title | The modelling and analysis of security protocols: the CSP approach |
| title_full | The modelling and analysis of security protocols: the CSP approach |
| title_fullStr | The modelling and analysis of security protocols: the CSP approach |
| title_full_unstemmed | The modelling and analysis of security protocols: the CSP approach |
| title_short | The modelling and analysis of security protocols: the CSP approach |
| title_sort | modelling and analysis of security protocols: the csp approach |
| topic | Computing and Computers |
| url | http://cds.cern.ch/record/1505729 |
| work_keys_str_mv | AT ryanpeter themodellingandanalysisofsecurityprotocolsthecspapproach AT schneidersa themodellingandanalysisofsecurityprotocolsthecspapproach AT ryanpeter modellingandanalysisofsecurityprotocolsthecspapproach AT schneidersa modellingandanalysisofsecurityprotocolsthecspapproach |