Robocars, Driver's License, XML

Three things that mix. The robocar industry can define a specification for a generic robot driving rule set. The XML formatting language, the functional version of HTML, is designed just for that, and can reformat the rule set to look like a driver's manual. In other words, our instructions for a particular robocar on the streets will be from a web page like thing.

Typical Diagram from the California Driver's handbook

Web designers can look at any DMV driver's manual and immediately see definitions that could make a set of web pages illustrating driving rules. Most of the rules involve two dimensional zone s around the robocar, with predicates on those zones. With this definition we can define rules for all the bots, and restrict their behavior based on these rules. Simultaneously we give manufacturers a design goal.

Security?
It must ultimately be guaranteed by periodic, out of channel,  human intervention and hardware CRC checks.  It can be done. The software chain for public streets being enforced by mandated GPS location receiver. 

Location:
I still argue for location based link layer addressing in DSRC.