{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,7]],"date-time":"2025-07-07T04:01:50Z","timestamp":1751860910264,"version":"3.41.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,5]]},"DOI":"10.1109\/saci.2018.8440960","type":"proceedings-article","created":{"date-parts":[[2018,8,23]],"date-time":"2018-08-23T22:14:23Z","timestamp":1535062463000},"page":"00081-00086","source":"Crossref","is-referenced-by-count":1,"title":["Distribution of Linux Log Files Described by Predicate Linear Logic Formula"],"prefix":"10.1109","author":[{"given":"Jan","family":"Perhac","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Mihalvi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lukas","family":"Relosky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"120","article-title":"Design of verifiable model of program systems' complex security using coalgebras and coalgebraic logics","author":"perhac","year":"2016","journal-title":"Electrical Engineering and Informatics 7 Proceedings of the Faculty of Electrical Engineering and Informatics of the Technical University of Kosice"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/Informatics.2015.7377833"},{"key":"ref12","first-page":"3","article-title":"Linear logical reasoning on programming","volume":"6","author":"novitzka","year":"2006","journal-title":"Acta Electrotechnica et Informatica"},{"key":"ref13","first-page":"157","article-title":"Resource-oriented programming based on linear logic","volume":"4","author":"novitzka","year":"2007","journal-title":"Acta Polytechnica Hungarica"},{"key":"ref14","first-page":"147","article-title":"What about linear logic in computer science?","volume":"10","author":"mihalyi","year":"2013","journal-title":"Acta Polytechnica Hungarica"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"165","DOI":"10.12700\/APH.14.8.2017.8.9","article-title":"Modeling synchronization problems: from composed petri nets to provable linear sequents","volume":"14","author":"perhac","year":"2017","journal-title":"Acta Polytechnica Hungarica"},{"key":"ref16","article-title":"Creating a secure linux logging system","author":"hall","year":"0","journal-title":"Giac certification program SANS Institute Oct 2004"},{"key":"ref17","volume":"631","author":"negus","year":"0","journal-title":"Fedora bible 2010 edition featuring fedora linux 12"},{"year":"2018","author":"schroder","journal-title":"Enhance security with a linux logging server","key":"ref18"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"ref28","article-title":"The Blind Spot, ser. Lectures on proof-theory","author":"girard","year":"2011","journal-title":"Institut de Mathematiques de Luminy Marseille France"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.15546\/aeei-2017-0009"},{"key":"ref27","article-title":"Pro Puppett, ser. Books for professionals by professionals","author":"turnbull","year":"2011","journal-title":"The expert's voice in open source Berkeley (Calif )"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.15546\/aeei-2015-0022"},{"key":"ref6","first-page":"83","article-title":"Coalgebraic specification of network intrusion signatures","volume":"61","author":"perha?","year":"2016","journal-title":"Studia Universitatis Babe&#x015F -Bolyai Informatica"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"105","DOI":"10.17512\/jamcm.2016.2.12","article-title":"Between syntax and semantics of resource oriented logic for ids behavior description","volume":"15","author":"perha?","year":"2016","journal-title":"Journal of Applied Mathematics and Computational Mechanics"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.2478\/s13537-012-0014-8"},{"key":"ref7","first-page":"34","article-title":"A formal description of distributed network intrusion","volume":"7","author":"petrovaj","year":"2014","journal-title":"Computer Science and Technology Research Survey"},{"key":"ref2","first-page":"536","article-title":"Event distributed logging resource-oriented description of linux operating system","volume":"7","author":"re?ovsky","year":"2015","journal-title":"Electrical Engineering and Informatics 6 proceedings of the Faculty of Electrical Engineering and Informatics of the Technical University of Košice"},{"key":"ref9","first-page":"61","article-title":"Towards to the knowledge in coalgebraic model ids","volume":"33","author":"mihalyi","year":"2014","journal-title":"Computing and Informatics"},{"key":"ref1","first-page":"796","article-title":"Proof manipulations with resources over linux repository","author":"perha?","year":"2013","journal-title":"Electrical Engineering and Informatics 4 proceedings of the Faculty of Electrical Engineering and Informatics of the Technical University of Košice Košice FEEI TU"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1017\/CBO9780511629150.002"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.17512\/jamcm.2015.1.03"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1017\/S096012950100336X"},{"key":"ref24","article-title":"A SysAdmins Essential Guide to Linux Workstation Security, ser. Linux FoundationTraining","author":"ryabitsev","year":"2017","journal-title":"Netem the Linux Foundation"},{"year":"2006","author":"charles","journal-title":"Security in Computing","key":"ref23"},{"key":"ref26","article-title":"Security Strategies In Linux Platforms And Applications","author":"michael jang","year":"2017","journal-title":"ser Jones & Bartlett Learning Information Systems Security & Assurance Jones & Bartlett"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1002\/9781119283096"}],"event":{"name":"2018 IEEE 12th International Symposium on Applied Computational Intelligence and Informatics (SACI)","start":{"date-parts":[[2018,5,17]]},"location":"Timisoara","end":{"date-parts":[[2018,5,19]]}},"container-title":["2018 IEEE 12th International Symposium on Applied Computational Intelligence and Informatics (SACI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8412770\/8440916\/08440960.pdf?arnumber=8440960","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T14:20:23Z","timestamp":1751811623000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8440960\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/saci.2018.8440960","relation":{},"subject":[],"published":{"date-parts":[[2018,5]]}}}