hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Telling Lies in Process Algebra
University of Leicester, Leicester, England.ORCID iD: 0000-0002-4869-6794
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).ORCID iD: 0000-0002-4776-883X
2018 (English)In: Proceedings. 2018 12th International Symposium on Theoretical Aspects of Software Engineering: TASE 2018. Guangzhou, China. 29-31 August 2018, Guangzhou: Institute of Electrical and Electronics Engineers (IEEE), 2018, p. 116-123Conference paper, Published paper (Refereed)
Abstract [en]

Epistemic logic is a powerful formalism for reasoning about communication protocols, particularly in the setting with dishonest agents and lies. Operational frameworks such as algebraic process calculi, on the other hand, are powerful formalisms for specifying the narrations of communication protocols. We bridge these two powerful formalisms by presenting a process calculus in which lies can be told. A lie in our framework is a communicated message that is pretended to be a different message (or nothing at all). In our formalism, we focus on what credulous rational agents can infer about a particular run if they know the protocol beforehand. We express the epistemic properties of such specifications in a rich extension of modal mu-calculus with the belief modality and define the semantics of our operational models in the semantic domain of our logic. We formulate and prove criteria that guarantee belief consistency for credulous agents. ©2018 IEEE

Place, publisher, year, edition, pages
Guangzhou: Institute of Electrical and Electronics Engineers (IEEE), 2018. p. 116-123
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:hh:diva-41507DOI: 10.1109/TASE.2018.00023ISI: 000454985900015Scopus ID: 2-s2.0-85062385615ISBN: 978-1-5386-7305-8 (electronic)ISBN: 978-1-5386-7306-5 (print)OAI: oai:DiVA.org:hh-41507DiVA, id: diva2:1390952
Conference
2018 International Symposium on Theoretical Aspects of Software Engineering (TASE 2018), Guangzhou, China, August 29-31, 2018
Available from: 2020-02-03 Created: 2020-02-03 Last updated: 2020-02-03Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Varshosaz, Mahsa

Search in DiVA

By author/editor
Mousavi, Mohammad RezaVarshosaz, Mahsa
By organisation
Centre for Research on Embedded Systems (CERES)
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 3 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf