Combining Detection and Verification for Secure Vehicular Cooperation Groups
Sign Up to like & getrecommendations! Published in 2020 at "ACM Transactions on Cyber-Physical Systems"
DOI: 10.1145/3322129
Abstract: Coordinated vehicles for intelligent traffic management are instances of cyber-physical systems with strict correctness requirements. A key building block for these systems is the ability to establish a group membership view that accurately captures the… read more here.
Keywords: view correctness; view; detection verification; correctness ... See more keywords