Verifying SeVeCom using set-based abstraction

Mödersheim, Sebastian and Modesti, Paolo (2011) Verifying SeVeCom using set-based abstraction. In: 7th International Wireless Communications and Mobile Computing Conference, IWCMC 2011, 4-8 Jul 2011, Bahcesehir University, Istanbul, Turkey.

Preview

PDF sevecom.pdf - Accepted Version Download (262kB) | Preview

More Information

Additional Information: 10.1109/IWCMC.2011.5982705

Depositing User: Paolo Modesti

Identifiers

Item ID: 6212

URI: http://sure.sunderland.ac.uk/id/eprint/6212

Official URL: http://www.ieee.org/conferences_events/conferences...

Users with ORCIDS

Catalogue record

Date Deposited: 11 May 2016 10:03

Last Modified: 20 Jan 2023 09:47

Contributors

Author:	Sebastian Mödersheim
Author:	Paolo Modesti

University Divisions

Faculty of Technology > School of Computer Science

Subjects

Computing > Cybersecurity
Computing > Network Computing
Computing

Actions (login required)

View Item (Repository Staff Only)