Port 22

WebSpec, a formal framework for browser security analysis, reveals new cookie attack