@lain @cjd I think I can express how the ideas from Horton (I'm not saying adopting Horton as a protocol itself, but the underlying idea) can help us achieve what we want, maybe even more powerfully than what we currently have. But I have to write it up.
The good news is that I *am* writing it up, this week and next with the paper on secure user interfaces coming out of RWoT.