What are you looking for today?

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.

Document
  • [thumbnail of sevecom.pdf]
    sevecom.pdf - Accepted Version

Abstract
Item Type: Conference or Workshop Item (Paper)
Additional Information: 10.1109/IWCMC.2011.5982705
Depositing User: Paolo Modesti
URI: https://sure.sunderland.ac.uk/id/eprint/6212

Further Details

More Information

Additional Information
10.1109/IWCMC.2011.5982705
Depositing User
Paolo Modesti

Identifiers

Item ID
6212

Users with ORCIDS

Catalogue record

Date Deposited
11 May 2016 10:03
Last Modified
04 Jun 2025 15:02

Contributors

Author
Sebastian Mödersheim
Author
Paolo Modesti

University Divisions

Faculty of Business and Technology > School of Computer Science and Engineering

Subjects

Computing > Cybersecurity
Computing > Network Computing
Computing

Actions (login required)

View Item (Repository Staff Only)

Download Statistics

Downloads per month over past year