Position summary: toward a rigorous data type model for HTTP | IEEE Conference Publication | IEEE Xplore