IEEE - Institute of Electrical and Electronics Engineers, Inc. - Verifying SeVeCom using set-based abstraction

2011 7th International Wireless Communications and Mobile Computing Conference (IWCMC 2011)

Author(s): Modersheim, S. ; Modesti, P.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 July 2011
Conference Location: Istanbul, Turkey, Turkey
Conference Date: 4 July 2011
Page(s): 1,164 - 1,169
ISBN (CD): 978-1-4244-9537-5
ISBN (Electronic): 978-1-4244-9538-2
ISBN (Paper): 978-1-4244-9539-9
DOI: 10.1109/IWCMC.2011.5982705
Regular:

We formally analyze the Secure Vehicle Communication system developed by the EU-project SeVeCom, using the AIF framework which is based on a novel set-abstraction technique. The model involves the... View More

Advertisement