Automated Verification of Group Key Agreement Protocols - Research Collection

Metadata only

Author

Schmidt, Benedikt

Sasse, Ralf

Cremers, Cas

Basin, David

Date

2014

Type

Conference Paper

Citations

Cited 1 times in Web of Science

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1109/SP.2014.19

Book title

Proceedings : 2014 IEEE Symposium on Security and Privacy SP 2014, 18-21 May 2014, San Jose, California, USA

Pages / Article No.

179 - 194

Publisher

IEEE

Event

IEEE Symposium on Security and Privacy (SP 2014), Berkeley, CA, USA, May 18-21, 2014

Organisational unit

03634 - Basin, David / Basin, David

Notes

.

More

Show all metadata

Citations

Cited 1 times in Web of Science

ETH Bibliography

yes

Altmetrics