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.

sevecom.pdf - Accepted Version

Download (262kB) | Preview

Search Google Scholar

Item Type: Conference or Workshop Item (Paper)
Additional Information: 10.1109/IWCMC.2011.5982705
Subjects: Computing > Cybersecurity
Computing > Network Computing
Divisions: Digital Innovation Beacon
Faculty of Technology > School of Computer Science
Depositing User: Paolo Modesti
Date Deposited: 11 May 2016 10:03
Last Modified: 02 Jul 2019 09:10

Actions (login required)

View Item View Item


Downloads per month over past year