FirefoxSummit/2006/ProposedSessions/Tamarin Documentation: Difference between revisions