{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T12:02:50Z","timestamp":1748606570831},"reference-count":22,"publisher":"Walter de Gruyter GmbH","issue":"1","license":[{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,11,1]]},"abstract":"<jats:title>Abstract<\/jats:title>\n\t\t\t\t<jats:p>We propose a resource-oriented architecture of a rational agent for a network intrusion detection system. This architecture describes the behavior of a rational agent after detection of unwanted network activities. We describe the creation of countermeasures to ward off detected threats. Examples are created based on the proposed architecture, describing the process during a rational agent detection. We have described these examples by linear BDI logic behavioral formul\u00e6, that have been proven by Gentzen sequent calculus.<\/jats:p>","DOI":"10.1515\/comp-2018-0016","type":"journal-article","created":{"date-parts":[[2018,11,28]],"date-time":"2018-11-28T09:01:31Z","timestamp":1543395691000},"page":"173-181","source":"Crossref","is-referenced-by-count":7,"title":["Elimination of network intrusions via a resource oriented BDI architecture"],"prefix":"10.1515","volume":"8","author":[{"given":"J\u00e1n","family":"Perh\u00e1\u010d","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Mih\u00e1lyi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luk\u00e1\u0161","family":"Ma\u0165a\u0161","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"374","reference":[{"key":"ref11","first-page":"83","article-title":"specification of network intrusion signatures Universitatis Babes","author":"Perh\u00e1\u010d","year":"2016","journal-title":"Informatica"},{"key":"ref21","article-title":"Snort users manual https www snort org","author":"Roesch","year":"2016"},{"key":"ref51","first-page":"105","article-title":"Between syntax and semantics of resource oriented logic for IDS behavior description of Applied Mathematics and","volume":"15","author":"Perh\u00e1\u010d","year":"2016","journal-title":"Journal Computational Mechanics"},{"key":"ref121","first-page":"331","article-title":"Formal methods in DAI Logic - based representation and reasoning Multiagent Systems MIT","volume":"13","author":"Singh","year":"1991"},{"key":"ref231","first-page":"61","article-title":"Towards the knowledge in coalgebraic model of IDS and","volume":"24","author":"Mih\u00e1lyi","year":"2014","journal-title":"Computing Informatics"},{"key":"ref141","first-page":"115","article-title":"Intelligent agents Theory practice The knowledge engineering","volume":"15","author":"Wooldridge","year":"1995","journal-title":"review"},{"key":"ref181","first-page":"87","article-title":"Reactive reasoning planning In","volume":"19","author":"Georgeff","year":"1987"},{"key":"ref31","first-page":"18","article-title":"modeling of IDS behavior th International Scientific Conference on Informatics November","volume":"13","author":"Perh\u00e1\u010d","journal-title":"IEEE"},{"key":"ref191","article-title":"a multiagentov\u00e9 syst\u00e9my univerzita - pr\u00edrodovedeck\u00e1 fakulta informatiky","volume":"20","author":"Kub\u00edk","year":"2000"},{"key":"ref151","first-page":"1","article-title":"Agent theories architectures and languages a survey International Workshop on Agent Theories Architectures and Languages Springer","volume":"16","author":"Wooldridge","year":"1994"},{"key":"ref61","first-page":"14","article-title":"Resource oriented BDI architecture for IDS In Proceedings of the th International Conference on Informatics Informatics November","volume":"14","author":"Perh\u00e1\u010d","year":"2017","journal-title":"IEEE"},{"key":"ref171","first-page":"149","article-title":"BDI reasoning engine Multi - agent Programming","volume":"18","author":"Pokahr","year":"2005"},{"key":"ref41","first-page":"2015","article-title":"Intrusion detection system behavior as resource - oriented formula","volume":"15","author":"Perh\u00e1\u010d","journal-title":"Acta Informatica"},{"key":"ref201","article-title":"On Extending BDI University","volume":"21","author":"Nair","year":"2003"},{"key":"ref211","first-page":"928","article-title":"Deduction systems for BDI logics using sequent calculus In Proceedings of the first international joint conference on Autonomous Agents and Multiagent Systems part","volume":"22","author":"Naoyuki","year":"2002"},{"key":"ref01","first-page":"1","article-title":"Design of verifiable model of program systems complex security using coalgebras and coalgebraic logics In Informatics proceedings of the Faculty of Electrical Engineering and Informatics of the Technical University of Ko\u0161ice","author":"Perh\u00e1\u010d","year":"2016","journal-title":"Electrical Engineering"},{"key":"ref81","first-page":"2015","article-title":"Linear logic in of and","volume":"14","author":"Steingartner","journal-title":"computer science Journal Applied Mathematics Computational Mechanics"},{"key":"ref221","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1145\/505733.505737","article-title":"de de of port scanning techniques","volume":"23","author":"Vivo","year":"1999","journal-title":"review Comput Commun Rev"},{"key":"ref161","article-title":"agenty tvorba aplikacn\u00edho software na b\u00e1zi multiagentov\u00fdch syst\u00e9mu","volume":"17","author":"Kub\u00edk","year":"2004","journal-title":"Computer"},{"key":"ref131","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1111\/j.1467-8640.1988.tb00284.x","article-title":"Plans and resource bounded practical reasoning","volume":"14","author":"Bratman","year":"1988","journal-title":"Computational Intelligence"},{"key":"ref101","article-title":"Reasoning about rational agents MIT press","volume":"11","author":"Wooldridge","year":"2000"},{"key":"ref111","first-page":"123","article-title":"Branching time temporal logic In Workshop School of the REX Project Research in Concurrent Systems","volume":"12","author":"Emerson","year":"1988","journal-title":"Symposium Education"}],"container-title":["Open Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/www.degruyter.com\/view\/j\/comp.2018.8.issue-1\/comp-2018-0016\/comp-2018-0016.xml","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/www.degruyter.com\/view\/j\/comp.2018.8.issue-1\/comp-2018-0016\/comp-2018-0016.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,2,28]],"date-time":"2021-02-28T03:22:22Z","timestamp":1614482542000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/comp-2018-0016\/html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,1]]},"references-count":22,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1515\/comp-2018-0016","relation":{},"ISSN":["2299-1093"],"issn-type":[{"value":"2299-1093","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,11,1]]}}}