Semantic Formalization of Cross-Site User Browsing Behavior | IEEE Conference Publication | IEEE Xplore