{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T18:23:33Z","timestamp":1763663013796,"version":"3.40.4"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2012,11,8]],"date-time":"2012-11-08T00:00:00Z","timestamp":1352332800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Inf. Secur."],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1007\/s10207-012-0180-7","type":"journal-article","created":{"date-parts":[[2012,11,7]],"date-time":"2012-11-07T06:52:16Z","timestamp":1352271136000},"page":"155-171","source":"Crossref","is-referenced-by-count":12,"title":["Visualization-based policy analysis for SELinux: framework and user study"],"prefix":"10.1007","volume":"12","author":[{"given":"Wenjuan","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Shehab","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gail-Joon","family":"Ahn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,11,8]]},"reference":[{"key":"180_CR1","doi-asserted-by":"crossref","unstructured":"Anderson, A.P.: Computer Security Technology Planning Study. Technical Report ESD-TR-73-51, II (1972)","DOI":"10.21236\/AD0772806"},{"issue":"5","key":"180_CR2","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1109\/TVCG.2006.166","volume":"12","author":"A Aris","year":"2006","unstructured":"Aris, A.: Network visualization by semantic substrates. IEEE Trans. Vis. Comput. Graph. 12(5), 733\u2013740 (2006). Senior Member-Ben Shneiderman","journal-title":"IEEE Trans. Vis. Comput. Graph."},{"key":"180_CR3","unstructured":"Biba, K.J.: Integrity Consideration for Secure Compuer System. Technical report, Mitre Corp. Report TR-3153, Bedford, Mass (1977)"},{"issue":"5","key":"180_CR4","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1145\/360051.360056","volume":"19","author":"DE Denning","year":"1976","unstructured":"Denning, D.E.: A lattice model of secure information flow. Commun. ACM 19(5), 236\u2013243 (1976)","journal-title":"Commun. ACM"},{"key":"180_CR5","doi-asserted-by":"crossref","unstructured":"Erbacher, R.: Intrusion behavior detection through visualization. In: IEEE International Conference on Systems, Man and Cybernetics, pp. 2507\u20132513 (Oct 2003)","DOI":"10.1109\/ICSMC.2003.1244260"},{"key":"180_CR6","unstructured":"Green, M.: Toward a perceptual science of multidimensional data visualization: Bertin and beyond. Available from http:\/\/www.ergogero.com\/dataviz\/dviz2.html , 1998"},{"key":"180_CR7","unstructured":"Guttman, J., Herzog, A., Ramsdell, J.: Information flow in operating systems: Eager formal methods. In: Workshop on Issues in the Theory of Security (WITS) (2003)"},{"issue":"1","key":"180_CR8","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/2945.841119","volume":"6","author":"I Herman","year":"2000","unstructured":"Herman, I., Melancon, G., Marshall, M.: Graph visualization and navigation in information visualization: A survey. IEEE Trans. Vis. Comput. Graph. 6(1), 24\u201343 (2000)","journal-title":"IEEE Trans. Vis. Comput. Graph."},{"key":"180_CR9","unstructured":"H.C. I. L. at University of Maryland. Piccolo. Available from http:\/\/www.cs.umd.edu\/hcil\/jazz\/download\/index.shtml"},{"issue":"2","key":"180_CR10","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/MCG.2006.34","volume":"26","author":"T Itoh","year":"2006","unstructured":"Itoh, T., Takakura, H., Sawada, A., Koyamada, K.: Hierarchical visualization of network intrusion detection data. IEEE Comput. Graph. Appl. 26(2), 40\u201347 (2006)","journal-title":"IEEE Comput. Graph. Appl."},{"key":"180_CR11","doi-asserted-by":"crossref","unstructured":"Jaeger, R.S.T., Zhang, X.: Resolving Constraint Conflicts. In: Sacmat \u201904: Proceedings of the Ninth Acm Symposium on Access Control Models And Technologies, pp. 105\u2013114 (2004)","DOI":"10.1145\/990036.990053"},{"key":"180_CR12","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1145\/937527.937528","volume":"6","author":"XZT Jaeger","year":"2003","unstructured":"Jaeger, X.Z.T., Edwards, A.: Policy management using access control spaces. ACM Trans. Inf. Syst. Secur. (TISSEC) 6, 327\u2013364 (2003)","journal-title":"ACM Trans. Inf. Syst. Secur. (TISSEC)"},{"key":"180_CR13","doi-asserted-by":"crossref","unstructured":"Jaeger, T., Sailer, R., Shankar, U.: Prima: policy-reduced integrity measurement architecture. In: SACMAT \u201906: Proceedings of the Eleventh ACM Symposium on Access Control Models and Technologies, pp. 19\u201328. ACM, New York, NY, USA (2006)","DOI":"10.1145\/1133058.1133063"},{"key":"180_CR14","unstructured":"Jaeger, T., Sailer, R., Zhang, X.: Analyzing integrity protection in the selinux example policy. In: SSYM\u201903: Proceedings of the 12th Conference on USENIX Security Symposium, pp. 59\u201374. USENIX Association, Berkeley, CA, USA (2003)"},{"issue":"1","key":"180_CR15","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1057\/palgrave.ivs.9500116","volume":"5","author":"R Keller","year":"2006","unstructured":"Keller, R., Eckert, C.M., Clarkson, P.J.: Matrices or node-link diagrams: which visual representation is better for visualising connectivity models? Inf. Vis. 5(1), 62\u201376 (2006)","journal-title":"Inf. Vis."},{"key":"180_CR16","doi-asserted-by":"crossref","unstructured":"Lee, C., Trost, J., Raheem, N.G.B., Copeland, J.: Visual firewall: Real-time network security monitor. In: IEEE Workshops Visualization for Computer, Security, pp. 129\u2013136 (2005)","DOI":"10.1109\/VIZSEC.2005.20"},{"key":"180_CR17","unstructured":"Lime Survey Tool http:\/\/www.limesurvey.org\/"},{"key":"180_CR18","unstructured":"Loscocco, P., Smalley, S.: Integrating flexible support for security policies into the linux operating system. In: USENIX Annual Technical Conference, FREENIX Track, pp. 29\u201342 (2001)"},{"key":"180_CR19","unstructured":"Loscocco, P.A., Smalley, S.D.: Meeting critical security objectives with security-enhanced linux. In: Proceedings of the Ottawa Linux Symposium (2001)"},{"key":"180_CR20","doi-asserted-by":"crossref","unstructured":"Mathew, S., Giomundo, R., Upadhyaya, S., Sudit, M., Stotz, A.: Understanding multistage attacks by attack-track based visualization of heterogeneous event streams. In: VizSEC \u201906: Proceedings of the 3rd International Workshop on Visualization for Computer Security, pp. 1\u20136. ACM, New York, NY, USA (2006)","DOI":"10.1145\/1179576.1179578"},{"key":"180_CR21","unstructured":"Nidhi, S.: Fireviz: A personal firewall visualizing tool. In: Thesis (M. Eng.), Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science (2005)"},{"key":"180_CR22","doi-asserted-by":"crossref","unstructured":"Noel, S., Jajodia, S.: Managing attack graph complexity through visual hierarchical aggregation. In: VizSEC\/DMSEC \u201904: Proceedings of the 2004 ACM workshop on Visualization and data mining for computer security, pp. 109\u2013118. ACM, New York, NY, USA (2004)","DOI":"10.1145\/1029208.1029225"},{"key":"180_CR23","unstructured":"Paired Samples T-tests. http:\/\/www.statisticssolutions.com\/methods-chapter\/statistical-tests\/paired-sample-t-test\/"},{"key":"180_CR24","doi-asserted-by":"crossref","unstructured":"Reiterer, H., Muler, G.: A visual information seeking system for web search. In: Proceedings of the Oberquelle, H., Oppermann, R., Krause, J. (eds) Mensch& Computer Conference, pp. 297\u2013306, (March 2001)","DOI":"10.1007\/978-3-322-80108-1_31"},{"key":"180_CR25","doi-asserted-by":"crossref","unstructured":"Reiterer, H., Tullius, G., Mann, T.: Insyder: A content-based visual-informationseeking system for the web. Springer-Verlag GmbH, International Journal on Digital Libraries (2005)","DOI":"10.1007\/s00799-004-0111-y"},{"key":"180_CR26","doi-asserted-by":"crossref","unstructured":"Saltzer, J., Schroeder, M., (1975) The protection of information in computer systems. In: Proceedings of the IEEE, pp. 1278\u20131308.","DOI":"10.1109\/PROC.1975.9939"},{"key":"180_CR27","unstructured":"Sarna-Starosta, B., Stoller, S.D.: Policy analysis for security-enhanced linux. In: Proceedings of the 2004 Workshop on Issues in the Theory of Security (WITS), pp. 1\u201312 (April 2004)"},{"key":"180_CR28","unstructured":"Shankar, U., Jaeger, T., Sailer, R.: Toward automated information-flow integrity verification for security-critical applications. In: NDSS, The Internet Society (2006)"},{"key":"180_CR29","unstructured":"Shen, Z., Ma, K.: Path visualization for adjacency matrices. In: Proceedings of Eurographics\/IEEE Symposium on Visualization (EuroVis), May 2007"},{"key":"180_CR30","unstructured":"Smalley, S.: Configuring the SELinux policy. http:\/\/www.nsa.gov\/SELinux\/docs.html , 2003"},{"issue":"13","key":"180_CR31","doi-asserted-by":"crossref","first-page":"1211","DOI":"10.1002\/1097-4571(2000)9999:9999<::AID-ASI1033>3.0.CO;2-5","volume":"51","author":"AG Sutcliffe","year":"2000","unstructured":"Sutcliffe, A.G., Ennis, M., Watkinson, S.J.: Empirical studies of end-user information searching. J. Am. Soc. Inf. Sci. 51(13), 1211\u20131231 (2000)","journal-title":"J. Am. Soc. Inf. Sci."},{"key":"180_CR32","unstructured":"Secure computer systems: Unified exposition and multics interpretation. MITRE Corporation, 1976"},{"key":"180_CR33","unstructured":"System management concepts: Operating system and devices, 1 ed., (1999)"},{"key":"180_CR34","doi-asserted-by":"crossref","unstructured":"Thompson, R.S., Rantanen, E.M., Yurcik, W., Bailey, B.P.: Command line or pretty lines?: comparing textual and visual interfaces for intrusion detection. In: CHI \u201907: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, pp. 1205. ACM, New York, NY, USA (2007)","DOI":"10.1145\/1240624.1240807"},{"key":"180_CR35","unstructured":"Tran, T., Al-Shaer, E.S., Boutaba, R.: Policyvis: Firewall security policy visualization and inspection. In: Lisa, pp. 1\u201316 (2007)"},{"key":"180_CR36","unstructured":"Tresys Technology Apol. http:\/\/www.tresys.com\/selinux\/"},{"key":"180_CR37","unstructured":"Yao, D., Shin, M., Tamassia, R., Winsborough, W.H.: Visualization of automated trust negotiation. In: VizSEC 05: IEEE Workshop on Visualization for Computer, Security, Oct 2005"},{"key":"180_CR38","doi-asserted-by":"crossref","unstructured":"Yin, X., Yurcik, W., Treaster, M., Li, Y., Lakkaraju, K.: Visflowconnect: netflow visualizations of link relationships for security situational awareness. In: VizSEC\/DMSEC \u201904: Proceedings of the 2004 ACM Workshop on Visualization and Data Mining for Computer Security, pp. 26\u201334. ACM, New York, NY, USA (2004)","DOI":"10.1145\/1029208.1029214"},{"key":"180_CR39","unstructured":"Yurcik, W.: Visualizing netflows for security at line speed: the sift tool suite. In: LISA\u201905: Proceedings of the 19th Conference on Large Installation System Administration Conference, pp. 169\u2013176. USENIX Association, Berkeley, CA, USA (2005)"},{"key":"180_CR40","doi-asserted-by":"crossref","unstructured":"Yurcik, W.: Tool update: visflowconnect-ip with advanced filtering from usability testing. In: VizSEC \u201906: Proceedings of the 3rd International Workshop on Visualization for Computer Security, pp. 63\u201364. ACM, New York, NY, USA (2006)","DOI":"10.1145\/1179576.1179588"}],"container-title":["International Journal of Information Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10207-012-0180-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10207-012-0180-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10207-012-0180-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,20]],"date-time":"2025-04-20T10:27:30Z","timestamp":1745144850000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10207-012-0180-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11,8]]},"references-count":40,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,6]]}},"alternative-id":["180"],"URL":"https:\/\/doi.org\/10.1007\/s10207-012-0180-7","relation":{},"ISSN":["1615-5262","1615-5270"],"issn-type":[{"type":"print","value":"1615-5262"},{"type":"electronic","value":"1615-5270"}],"subject":[],"published":{"date-parts":[[2012,11,8]]}}}