Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Introduction Read chapter Read first chapter

2022 | OriginalPaper | Chapter

3. Formal Analysis by Abstract Interpretation

Author : Benjamin Aziz

Published in: Formal Analysis by Abstract Interpretation

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

This chapter presents a method for approximating the non-standard semantics capturing message-passing properties defined in Chap. 2. The approximation is based on limiting the number of distinguishable copies a process can produce of new names and input parameters. This then leads to the generation of a finite semantic domain and an abstract interpretation function that is used to give an abstract semantics for a process. The chapter concludes with two examples of simple systems that demonstrate how the analysis can be applied to better understand the behaviour of systems: the example of a simple file transfer protocol system and the example of a simple distance-bounding protocol.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Process Algebra: Syntax and Semantics
next chapter First Case Study: The MQTT Protocol
Literature
1.
D. Dolev, A. Yao, in Proceedings of the \(22{\rm nd}\) Annual Symposium on Foundations of Computer Science (1981), pp. 350–357
2.
3.
G.P. Hancke, M.G. Kuhn, in Proceedings of the First International Conference on Security and Privacy for Emerging Areas in Communications Networks (ACM Press, Athens, Greece, 2005), pp. 67–73
4.
I. Cervesato, in Proceedings of the \(16{\rm th}\) Annual Symposium on Logic in Computer Science, ed. by J. Halpern (IEEE Computer Society Press, Boston, MA, U.S.A., 2001), pp. 246–265
Metadata
Title
Formal Analysis by Abstract Interpretation
Author
Benjamin Aziz
Copyright Year
2022
Book
Formal Analysis by Abstract Interpretation

Print ISBN: 978-3-030-91152-2

Electronic ISBN: 978-3-030-91153-9

Copyright Year: 2022

DOI
https://doi.org/10.1007/978-3-030-91153-9_3

Premium Partner

    Image Credits