{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T02:10:02Z","timestamp":1747188602285,"version":"3.40.5"},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,10]]},"DOI":"10.1109\/imcsit.2010.5679939","type":"proceedings-article","created":{"date-parts":[[2014,12,13]],"date-time":"2014-12-13T02:53:32Z","timestamp":1418439212000},"page":"839-845","source":"Crossref","is-referenced-by-count":2,"title":["A security model for personal information security management based on partial approximative set theory"],"prefix":"10.1109","author":[{"given":"Zoltan","family":"Csajbok","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"crossref","first-page":"386","DOI":"10.4064\/fm-16-1-386-389","article-title":"Sur l'extension de l'ordre partiel","volume":"16","author":"szpilrajn","year":"1930","journal-title":"Fund Math"},{"key":"ref32","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1093\/oso\/9780198537359.003.0005","article-title":"Topology","author":"smyth","year":"1992","journal-title":"Background Mathematical Structures volume 1 of Handbook of Logic in Computer Science"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0036946"},{"key":"ref30","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/3-540-44577-3_6","article-title":"A Language-Based Approach to Security","volume":"2000","author":"schneider","year":"2001","journal-title":"Informatics - 10 Years Back 10 Years Ahead ser Lecture Notes in"},{"key":"ref10","article-title":"Partial Approximative Set Theory: A View from Galois Connections","author":"csajb\u00f3k","year":"2010","journal-title":"Proceedings of the 8th international conference on applied informatics (lCAI 2010)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-1898-5"},{"key":"ref13","doi-asserted-by":"crossref","DOI":"10.1142\/2563","author":"diekert","year":"1995","journal-title":"The Book of Traces"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1007\/978-3-540-24615-2_10","article-title":"Approximation Operators in Qualitative Data Analysis","volume":"2929","author":"d\u00fcntsch","year":"2003","journal-title":"Lecture Notes Computer Science"},{"key":"ref15","first-page":"103","article-title":"A primer on Galois connections","volume":"704","author":"ern\u00e9","year":"1994","journal-title":"Papers on General Topology and its Applications 7th Summer Conf Wisconsin Annals New York Acad Sci"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/3-540-45608-2_6","article-title":"Classification of security properties (Part I: Information flow)","author":"focardi","year":"2001","journal-title":"Foundations of Security Analysis and Design FOSAD 2000"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511542725"},{"journal-title":"Information Technology Security Evaluation Criteria (ITSEC)","year":"1991","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71200-8_22"},{"journal-title":"Rough Sets Theoretical Aspects of Reasoning about Data","year":"1991","author":"pawlak","key":"ref28"},{"key":"ref4","first-page":"95","article-title":"More enforceable security policies","author":"bauer","year":"0","journal-title":"Foundations of Computer Security Proceedings of the FLoC'02 workshop on Foundations of Computer Security (2002)"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/BF01001956"},{"journal-title":"Security Engineering A Guide to Building Dependable Distributed Systems","year":"2001","author":"anderson","key":"ref3"},{"journal-title":"Handbook of Information and Communication Security","year":"1991","author":"caelli","key":"ref6"},{"journal-title":"Thinking about Logic An Introduction to the Philosophy of Logic","year":"1995","author":"read","key":"ref29"},{"key":"ref5","first-page":"56","article-title":"Safety, Liveness, and Information Flow: Dependability Revisited","author":"benenson","year":"2006","journal-title":"ARCS 2006—19th International Conference on Architecture of Computing Systems Workshops Proceedings"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90030-7"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2008.7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01782772"},{"key":"ref9","article-title":"Partial Approximative Set Theory","author":"csajb\u00f3k","year":"2010","journal-title":"Programs Proofs Processes Sixth Conference on Computability in Europe CiE 2010"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(85)90056-0"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.229904"},{"journal-title":"Policy Enforcement Via Program Monitoring","year":"2006","author":"ligatti","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-004-0046-8"},{"journal-title":"Weakly relational numerical abstract domains","year":"2004","author":"min\u00e9","key":"ref24"},{"key":"ref23","first-page":"279","article-title":"Trace Theory","author":"mazurkiewicz","year":"1987","journal-title":"Lecture Notes in Computer Science No 255 Petri Nets Applications and Relationships to Other Models of Concurrency"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-8622-9"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/DANCE.2002.1003494"}],"event":{"name":"2010 International Multiconference on Computer Science and Information Technology (IMCSIT 2010)","start":{"date-parts":[[2010,10,18]]},"location":"Wisla","end":{"date-parts":[[2010,10,20]]}},"container-title":["Proceedings of the International Multiconference on Computer Science and Information Technology"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5676244\/5679615\/05679939.pdf?arnumber=5679939","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T01:31:39Z","timestamp":1747186299000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5679939\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/imcsit.2010.5679939","relation":{},"subject":[],"published":{"date-parts":[[2010,10]]}}}