Analyzing and Securing SOME/IP Automotive Services with Formal and Practical Methods.

Daniel Zelle Timm Lauser Dustin Kern Christoph Krauß

Published in: ARES (2021)

Keyphrases

significant improvement
benchmark datasets
real world
web services
preprocessing
computational cost
information retrieval
information systems
qualitative and quantitative
formal model