Verifying Epistemic Properties of Multi-agent Systems via Action-Based Temporal Logic
This paper provides a specifying and verifying framework of a multi-agent system, with the emphasis on their epistemic features. We use an epistemic transition system to specify the agents and an epistemic synchronous product to specify the multi-agent system.We verify the system by means of a speci...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 475 |
|---|---|
| container_issue | |
| container_start_page | 470 |
| container_title | |
| container_volume | |
| creator | Bagic, M. Babac, A. Ciglaric, M. |
| description | This paper provides a specifying and verifying framework of a multi-agent system, with the emphasis on their epistemic features. We use an epistemic transition system to specify the agents and an epistemic synchronous product to specify the multi-agent system.We verify the system by means of a special action-based temporal logic - ACTLW for epistemic reasoning (ACTLW stands for action computation tree logic with unless operator). Using temporal and epistemic operators we create the appropriate formulae to perform model checking for the system. We test our method by the example of security communication protocol called dining cryptographers. |
| doi_str_mv | 10.1109/CIMCA.2008.221 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_5172671</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>5172671</ieee_id><sourcerecordid>5172671</sourcerecordid><originalsourceid>FETCH-LOGICAL-i175t-7b295b5b83ef792a8ef5d1a9910d8d3fc0794d68f2a19dcb15f6171308c58e773</originalsourceid><addsrcrecordid>eNotj81KxDAYAAMiKGuvXrzkBVrzJU2THGtZdaGLgrtelzT9UiL9o6nCvr2KnuYyDAwht8AyAGbuq92-KjPOmM44hwuSGKWZKowUEnJ-RZIYPxhjYAoFkF-T4zsuwZ_D2NHtHOKKQ3D0dZlmXNaAkU6e7j_7NaS2w3Glb-dfJdKvYGnp1jCN6YON2NIDDvO02J7WUxfcDbn0to-Y_HNDjo_bQ_Wc1i9Pu6qs0wBKrqlquJGNbLRArwy3Gr1swRoDrNWt8I4pk7eF9tyCaV0D0hegQDDtpEalxIbc_XUDIp7mJQx2OZ8kKP6zJ74BK29PKQ</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Verifying Epistemic Properties of Multi-agent Systems via Action-Based Temporal Logic</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Bagic, M. ; Babac, A. ; Ciglaric, M.</creator><creatorcontrib>Bagic, M. ; Babac, A. ; Ciglaric, M.</creatorcontrib><description>This paper provides a specifying and verifying framework of a multi-agent system, with the emphasis on their epistemic features. We use an epistemic transition system to specify the agents and an epistemic synchronous product to specify the multi-agent system.We verify the system by means of a special action-based temporal logic - ACTLW for epistemic reasoning (ACTLW stands for action computation tree logic with unless operator). Using temporal and epistemic operators we create the appropriate formulae to perform model checking for the system. We test our method by the example of security communication protocol called dining cryptographers.</description><identifier>ISBN: 9780769535142</identifier><identifier>ISBN: 0769535143</identifier><identifier>DOI: 10.1109/CIMCA.2008.221</identifier><language>eng</language><publisher>IEEE</publisher><subject>Communication system security ; Cryptographic protocols ; Cryptography ; Electrostatic precipitators ; Information science ; Intelligent agent ; Logic ; Multiagent systems ; Sections ; Testing</subject><ispartof>2008 International Conference on Computational Intelligence for Modelling Control & Automation, 2008, p.470-475</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/5172671$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,777,781,786,787,2052,27906,54901</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/5172671$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Bagic, M.</creatorcontrib><creatorcontrib>Babac, A.</creatorcontrib><creatorcontrib>Ciglaric, M.</creatorcontrib><title>Verifying Epistemic Properties of Multi-agent Systems via Action-Based Temporal Logic</title><title>2008 International Conference on Computational Intelligence for Modelling Control & Automation</title><addtitle>CIMCA</addtitle><description>This paper provides a specifying and verifying framework of a multi-agent system, with the emphasis on their epistemic features. We use an epistemic transition system to specify the agents and an epistemic synchronous product to specify the multi-agent system.We verify the system by means of a special action-based temporal logic - ACTLW for epistemic reasoning (ACTLW stands for action computation tree logic with unless operator). Using temporal and epistemic operators we create the appropriate formulae to perform model checking for the system. We test our method by the example of security communication protocol called dining cryptographers.</description><subject>Communication system security</subject><subject>Cryptographic protocols</subject><subject>Cryptography</subject><subject>Electrostatic precipitators</subject><subject>Information science</subject><subject>Intelligent agent</subject><subject>Logic</subject><subject>Multiagent systems</subject><subject>Sections</subject><subject>Testing</subject><isbn>9780769535142</isbn><isbn>0769535143</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2008</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNotj81KxDAYAAMiKGuvXrzkBVrzJU2THGtZdaGLgrtelzT9UiL9o6nCvr2KnuYyDAwht8AyAGbuq92-KjPOmM44hwuSGKWZKowUEnJ-RZIYPxhjYAoFkF-T4zsuwZ_D2NHtHOKKQ3D0dZlmXNaAkU6e7j_7NaS2w3Glb-dfJdKvYGnp1jCN6YON2NIDDvO02J7WUxfcDbn0to-Y_HNDjo_bQ_Wc1i9Pu6qs0wBKrqlquJGNbLRArwy3Gr1swRoDrNWt8I4pk7eF9tyCaV0D0hegQDDtpEalxIbc_XUDIp7mJQx2OZ8kKP6zJ74BK29PKQ</recordid><startdate>200812</startdate><enddate>200812</enddate><creator>Bagic, M.</creator><creator>Babac, A.</creator><creator>Ciglaric, M.</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>200812</creationdate><title>Verifying Epistemic Properties of Multi-agent Systems via Action-Based Temporal Logic</title><author>Bagic, M. ; Babac, A. ; Ciglaric, M.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i175t-7b295b5b83ef792a8ef5d1a9910d8d3fc0794d68f2a19dcb15f6171308c58e773</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2008</creationdate><topic>Communication system security</topic><topic>Cryptographic protocols</topic><topic>Cryptography</topic><topic>Electrostatic precipitators</topic><topic>Information science</topic><topic>Intelligent agent</topic><topic>Logic</topic><topic>Multiagent systems</topic><topic>Sections</topic><topic>Testing</topic><toplevel>online_resources</toplevel><creatorcontrib>Bagic, M.</creatorcontrib><creatorcontrib>Babac, A.</creatorcontrib><creatorcontrib>Ciglaric, M.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Bagic, M.</au><au>Babac, A.</au><au>Ciglaric, M.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Verifying Epistemic Properties of Multi-agent Systems via Action-Based Temporal Logic</atitle><btitle>2008 International Conference on Computational Intelligence for Modelling Control & Automation</btitle><stitle>CIMCA</stitle><date>2008-12</date><risdate>2008</risdate><spage>470</spage><epage>475</epage><pages>470-475</pages><isbn>9780769535142</isbn><isbn>0769535143</isbn><abstract>This paper provides a specifying and verifying framework of a multi-agent system, with the emphasis on their epistemic features. We use an epistemic transition system to specify the agents and an epistemic synchronous product to specify the multi-agent system.We verify the system by means of a special action-based temporal logic - ACTLW for epistemic reasoning (ACTLW stands for action computation tree logic with unless operator). Using temporal and epistemic operators we create the appropriate formulae to perform model checking for the system. We test our method by the example of security communication protocol called dining cryptographers.</abstract><pub>IEEE</pub><doi>10.1109/CIMCA.2008.221</doi><tpages>6</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISBN: 9780769535142 |
| ispartof | 2008 International Conference on Computational Intelligence for Modelling Control & Automation, 2008, p.470-475 |
| issn | |
| language | eng |
| recordid | cdi_ieee_primary_5172671 |
| source | IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | Communication system security Cryptographic protocols Cryptography Electrostatic precipitators Information science Intelligent agent Logic Multiagent systems Sections Testing |
| title | Verifying Epistemic Properties of Multi-agent Systems via Action-Based Temporal Logic |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-17T22%3A10%3A54IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Verifying%20Epistemic%20Properties%20of%20Multi-agent%20Systems%20via%20Action-Based%20Temporal%20Logic&rft.btitle=2008%20International%20Conference%20on%20Computational%20Intelligence%20for%20Modelling%20Control%20&%20Automation&rft.au=Bagic,%20M.&rft.date=2008-12&rft.spage=470&rft.epage=475&rft.pages=470-475&rft.isbn=9780769535142&rft.isbn_list=0769535143&rft_id=info:doi/10.1109/CIMCA.2008.221&rft_dat=%3Cieee_6IE%3E5172671%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=5172671&rfr_iscdi=true |