I agree that ICC named colours is the correct way to go here.
JAC> The latter is probably the primary way to reliably and portably
JAC> denote spot colors, but SVG hasn't integrated direct use of them yet.
In fact, SVG does have named colour support
http://dev.w3.org/SVG/modules/color/master/SVGColor.html#named