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:
Cover of the book

2022 | OriginalPaper | Chapter

1. Introduction

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

We introduce in this chapter some of the areas in computer science on which the book is based. We provide some background and discussion of the literature in areas such as the specific class of formal languages used for describing systems with the mobility of structures, known as calculi for mobility, a specific approach for defining the meaning of such languages, known as denotational semantics and finally, we give some background on the method of static program analysis, and particularly, abstract interpretation-based analysis. We also give an overview of the literature related to the three modern protocols used as our case studies.

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
next chapter Process Algebra: Syntax and Semantics
Literature
1.
R. Milner, Communicating and Mobile Systems: The Pi-Calculus (Cambridge University Press, Cambridge, 1999)
2.
3.
D. Sangiorgi, D. Walker, The Pi-Calculus - A Theory of Mobile Processes (Cambridge University Press, Cambridge, 2001)MATH
4.
L. Cardelli, A. Gordon, in Proceedings of the \(1{\rm st}\) International Conference on the Foundations of Software Science and Computation Structures. Lecture Notes in Computer Science, vol. 1378 (Springer Verlag, Lisbon, Portugal, 1998), pp. 140–155
5.
C.A. Petri, Kommunikation mit automaten. Technical report 2, Schriften des Institutes für Instrumentelle Mathematik (1962)
6.
7.
R. Milner, Lect. Notes Comput. Sci. 92 (1980)
8.
U. Engberg, M. Nielsen, A calculus of communicating systems with name-passing. Technical report DAIMI PB-208, Computer Science Department, University of Aarhus, Aarhus, Denmark (1986)
9.
F. Achermann, M. Lumpe, J.G. Schneider, O. Nierstrasz, Formal Methods for Distributed Processing - A Survey of Object-Oriented Approaches, pp. 403–426 (2001)
10.
C. Fournet, G. Gonthier, in Proceedings of the \(23{rd}\) ACM Symposium on Principles of Programming Languages (ACM Press, St. Petersburg Beach, Florida, USA, 1996), pp. 372–385
11.
B. Pierce, D. Turner, Pict: a programming language based on the pi-calculus. Technical report CSCI 476, Computer Science Department, Indiana University (1997)
12.
P. Wojciechowski, P. Sewell, in Proceedings of the \(1^{\rm st}\) International Symposium on Agent Systems and Applications, and the \(3{\rm rd}\) International Symposium on Mobile Agents, eds. by H.E. Bal, B. Belkhouche, L. Cardelli (IEEE Computer Society Press, Palm Springs, California, USA, 1999), pp. 821–826
13.
M. Abadi, A. Gordon, in Proceedings of the \(4{\rm th}\) ACM Conference on Computer and Communications Security (ACM Press, Zurich, Switzerland, 1997), pp. 36–47
14.
J. Vitek, G. Castagna, in Proceedings of the ICCL Workshop: Internet Programming Languages, eds. by H.E. Bal, B. Belkhouche, L. Cardelli. Lecture Notes in Computer Science, vol. 1686 (Springer Verlag, Chicago, Illinois, USA, 1998), pp. 47–77
15.
R. Milner, The polyadic \(\pi \)-calculus: a tutorial. Technical report ECS-LFCS-91-180, Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh, UK (1991)
16.
D.S. Scott, C. Strachey, in Proceedings of Symposium on Computers and Automata, ed. by J. Fox (ACM Press, Polytechnic Institute of Brooklyn, New York, USA, 1971), pp. 19–46
17.
D.S. Scott, in Proceedings of the \(4^{\rm th}\) Annual Princeton Conference on Information Science and Systems (Princeton University, Princeton, New Jersey, USA, 1970), pp. 169–176
18.
C. Strachey, Formal Language Description Languages for Computer Programming, pp. 198–220 (1966)
19.
D. Schmidt, Denotational Semantics: A Methodology for Language Development (Allyn & Bacon, Boston, 1986)
20.
J.E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory (MIT Press, Cambridge, 1977)
21.
G. Winskel, The Formal Semantics of Programming Languages - An Introduction (MIT Press, Cambridge, 1993)
22.
J. McCarthy, in Computer Programming and Formal Systems, eds. by P. Braffort, D. Hirschberg (North-Holland, Amsterdam, Holland, 1965), pp. 33–70
23.
J.W. Backus, F.L. Bauer, J. Green, C. Katz, J.L. McCarthy, A.J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J.H. Wegstein, A. van Wijngaarden, M. Woodger, P. Naur, Commun. ACM 6(1), 1 (1963)CrossRef
24.
N. Chomsky, IRE Trans. Inf. Theory IT–2(3), 113 (1956)
25.
R. Backhouse, Syntax of Programming Languages: Theory and Practice (Prentice Hall International, Hoboken, 1979)
26.
R.D. Tennent, Semantics of Programming Languages (Prentice Hall International, Hoboken, 1991)
27.
28.
F. Nielson, H.R. Nielson, C. Hankin, Principles of Program Analysis (Springer, Berlin, 1999)
29.
G.A. Kildall, in Proceedings of ACM Symposium on Principles of Programming Languages (ACM Press, Boston, Massachusetts, USA, 1973), pp. 194–206
30.
31.
32.
M. Dwyer, Data flow analysis frameworks for concurrent programs. Technical report 95–8, Kansas State University, Kansas, U.S.A. (1995)
33.
L.J. Jagadeesan, R. Jagadeesan, in Proceedings of the \(4{\rm th}\) International Conference in Algebraic Methodology and Software Technology, eds. by V.S. Alagar, M. Nivat. Lecture Notes in Computer Science, vol. 936 (Springer, Montreal, Canada, 1995), pp. 277–291
34.
O. Shivers, in Proceedings of the ACM SIGPLAN’88 Conference on Programming Language Design and Implementation. ACM SIGPLAN Notices, vol. 23(7) (ACM Press, Atlanta, Georgia, USA, 1988), pp. 164–174
35.
P. Cousot, R. Cousot, in Proceedings of the \(4{\rm th}\) ACM Symposium on Principles of Programming Languages (ACM Press, Los Angeles, California, U.S.A., 1977), pp. 238–252
36.
37.
B. Liskov, A. Snyder, R.R. Atkinson, C. Schaffert, Commun. ACM 20(8), 564 (1977)CrossRef
38.
C. Bodei, P. Dagano, F. Nielson, H.R. Nielson, in Proceedings of the \(9{\rm th}\) Conference on Concurrency Theory. Lecture Notes in Computer Science, vol. 1466 (Springer, Nice, France, 1998), pp. 84–98
39.
C. Bodei, P. Dagano, F. Nielson, H.R. Nielson, in Proceedings of the Conference on Foundations of Software Science and Computation Structures. Lecture Notes in Computer Science, vol. 1578 (Springer, Lisbon, Portugal, 1999), pp. 120–134
40.
C. Bodei, P. Dagano, F. Nielson, H.R. Nielson, Inf. Comput. 168(1), 68 (2001)CrossRef
41.
C. Bodei, P. Dagano, F. Nielson, H.R. Nielson, in Proceedings of the \(6{\rm th}\) International Conference in Parallel Computing Technologies. Lecture Notes in Computer Science, vol. 2127 (Springer, Novosibirsk, Russia, 2001), pp. 27–41
42.
F. Nielson, H.R. Nielson, in Electronic Notes in Theoretical Computer Science, vol. 10, eds. by A.P. Andrew Gordon, C. Talcott (Elsevier Science Publishers, Amsterdam, 2000)
43.
D. Bell, L.L. Padula, Secure computer systems: unified exposition and multics interpretation. Technical report ESD–TR–75–306, Mitre Corporation, Bedford, M.A., U.S.A. (1975)
44.
D. Dolev, A. Yao, in Proceedings of the \(22{\rm nd}\) Annual Symposium on Foundations of Computer Science (1981), pp. 350–357
45.
M. Abadi, in Proceedings of the \(3{\rm rd}\) International Symposium on Theoretical Aspects of Computer Software, eds. by M. Abadi, T. Ito. Lecture Notes in Computer Science, vol. 1281 (Springer, Sendai, Japan, 1997), pp. 611–638
46.
A. Venet, in Proceedings of the \(5{\rm th}\) LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, ed. by M. Dam. Lecture Notes in Computer Science, vol. 1192 (Springer, Stockholm, Sweden, 1996), pp. 51–75
47.
A. Venet, in Proceedings of the \(5{\rm th}\) International Static Analysis Symposium, ed. by G. Levi. Lecture Notes in Computer Science, vol. 1503 (Springer, Pisa, Italy, 1998), pp. 152–167
48.
D. Monniaux, in Proceedings of the \(6{\rm th}\) International Static Analysis Symposium, eds. by A. Cortesi, G. Filé. Lecture Notes in Computer Science, vol. 1694 (Springer, Venice, Italy, 1999), pp. 149–163
49.
J. Feret, in Proceedings of the \(7{\rm th}\) International Static Analysis Symposium. Lecture Notes in Computer Science, vol. 1824 (Springer, University of California, Santa Barbara, USA, 2000), pp. 135–154
50.
J. Feret, in Geometry and Topology in Concurrency theory, eds. by P. Cousot, E. Goubault, J. Gunawardena, M. Herlihy, M. Raussen, V. Sassone. Electronic Notes in Theoretical Computer Science, vol. 39 (Elsevier Science Publishers, PennState, USA, 2001)
51.
J. Feret, in Proceedings of the \(11^{\rm th}\) European Symposium on Programming. Lecture Notes in Computer Science, vol. 2305 (Springer, Grenoble, France, 2002), pp. 314–330
52.
H. Jonkers, Algorithmic Languages, pp. 321–343 (1981)
53.
M. Hennessy, J. Riely, in Proceedings of the \(3{\rm rd}\) International Workshop on High-Level Concurrent Languages. Electronic Notes in Theoretical Computer Science, vol. 16(3) (Elsevier, Nice, France, 1998), pp. 1–15
54.
J. Riely, M. Hennessy, in Proceedings of the \(26{\rm th}\) ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (ACM Press, San Antonio, TX, USA, 1999), pp. 93–104
55.
L. Cardelli, G. Ghelli, A. Gordon, in Proceedings of the \(11{\rm th}\) International Conference on Concurrency Theory. Lecture Notes in Computer Science, vol. 1877 (Springer, Penn State University, State College, Pennsylvania, USA, 2000), pp. 365–379
56.
M. Hennessy, J. Riely, in Proceedings of the \(27{\rm th}\) International Colloquium on Automata, Languages and Programming, eds. by U. Montanari, J.D. Rolim, E. Welzl. Lecture Notes in Computer Science, vol. 1853 (Springer, Geneva, Switzerland, 2000), pp. 415–427
57.
K. Honda, V.T. Vasconcelos, N. Yoshida, in Proceedings of the \(9{\rm th}\) European Symposium on Programming, ed. by G. Smolka. Lecture Notes in Computer Science, vol. 1782 (Springer, Berlin, Germany, 2000), pp. 180–199
58.
M. Hepburn, D. Wright, in Proceedings of the \(3{\rm rd}\) Conference on Principles and Practice of Declarative Programming (ACM Press, Florence, Italy, 2001), pp. 103–114
59.
G. Boudol, Asynchrony and the \(\pi \)-calculus. Technical report 1702, INRIA-Sophia Antipolis, Sophia Antipolis, France (1992)
60.
K. Honda, M. Tokoro, in Proceedings of the ECOOP’91 Workshop on Object-Based Concurrent Computing, eds. by M. Tokoro, O. Nierstrasz, P. Wegner. Lecture Notes in Computer Science, vol. 612 (Springer Verlag, Geneva, Switzerland, 1992), pp. 21–51
61.
D. Volpano, C. Irvine, G. Smith, J. Comput. Secur. 4(2,3), 167 (1996)
62.
G. Smith, D.M. Volpano, in Proceedings of the \(25{\rm th}\) ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (ACM Press, San Diego, CA, USA, 1998), pp. 355–364
63.
J.A. Goguen, J. Meseguer, in Proceedings of the IEEE Symposium on Security and Privacy (IEEE Computer Society Press, Oakland, CA, USA, 1982), pp. 11–20
64.
65.
F. Pottier, in Proceedings of the \(15{\rm th}\) IEEE Computer Security Foundations Workshop (IEEE Press, Cape Breton, Nova Scotia, Canada, 2002), pp. 320–330
66.
M. Hennessy, The security pi calculus and non-interference. Technical report 05/2000, University of Sussex, Sussex, UK (2000)
67.
68.
R. Cleaveland, J. Parrow, B. Steffen, ACM Trans. Program. Lang. Syst. 15(1), 36 (1993)CrossRef
69.
M. Gengler, M. Martel, in Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (ACM Press, Amsterdam, The Netherlands, 1997), pp. 36–46
70.
B. Victor, F. Moller, in Proceedings of the \(6{\rm th}\) International Conference in Computer-Aided Verification, ed. by D. Dill. Lecture Notes in Computer Science, vol. 818 (Springer, Stanford, California, USA, 1994), pp. 428–440
71.
M. Abadi, B. Blanchet, in Proceedings of the \(29{\rm th}\) Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (ACM Press, Portland, USA, 2002), pp. 33–44
72.
B. Blanchet, in Proceedings of the \(9{\rm th}\) International Symposium in Static Analysis, eds. by M.V. Hermenegildo, G. Puebla. Lecture Notes in Computer Science, vol. 2477 (Springer, Madrid, Spain, 2002), pp. 342–359
73.
M. Boreale, in Proceedings of the \(28{\rm th}\) International Colloquium on Automata, Languages and Programming, eds. by F. Orejas, P.G. Spirakis, J. van Leeuwen. Lecture Notes in Computer Science, vol. 2076 (Springer, Crete, Greece, 2001), pp. 667–681
74.
M. Boreale, M.G. Buscemi, in Proceedings of the ACM Symposium on Applied Computing (ACM Press, Madrid, Spain, 2002), pp. 281–285
75.
76.
A. Huima, in Proceedings of the FLOC 1999 Formal Methods and Security Protocols Workshop (Trento, Italy, 1999), pp. 21–51
77.
R. Amadio, D. Lugiez, in Proceedings of the \(11{\rm th}\) International Conference on Concurrency Theory, ed. by C. Palamidessi. Lecture Notes in Computer Science, vol. 1877 (Springer, Pennsylvania, USA, 2000), pp. 380–394
78.
A. Elkjær, M. Höhle, H. Hüttel, K. Overgård, Combinatorics, Computation & Logic, Australian Computer Science. Communications 21(3), 175 (1999)
79.
V. Cortier, Observational equivalence and trace equivalence in an extension of the spi calculus. Technical report LSV-02-3, Laboratoire Spécification et Vérification, ENS de Cachan, France (2002)
80.
M. Burrows, M. Abadi, R. Needham, in Proceedings of the Royal Society of London A, vol. 426, pp. 233–271 (1989)
81.
S. Gnesi, D. Latella, G. Lenzini, in Proceedings of the Workshop on Formal Methods and Computer Security (University of British Columbia, Vancouver, Canada, 2000)
82.
P. Yang, C. Ramakrishnan, S. Smolka, in Proceedings of the \(4{\rm th}\) International Conference in Verification, Model Checking, and Abstract Interpretation, eds. by L.D. Zuck, P.C. Attie, A. Cortesi, S. Mukhopadhyay. Lecture Notes in Computer Science, vol. 2575 (Springer, New York, USA, 2003), pp. 116–131
83.
R. Bruni, U. Montanari, in Proceedings of the \(14{\rm th}\) Symposium on Logic in Computer Science (IEEE Computer Society Press, Trento, Italy, 1999), pp. 246–265
84.
N. Busi, R. Gorrieri, in Proceedings of the \(6{rm th}\) International Conference on Concurrency Theory. Lecture Notes in Computer Science, vol. 962 (Springer, Philadelphia, PA, USA, 1995), pp. 145–159
85.
G.L. Cattani, I. Stark, G. Winskel, in Proceedings of the \(7{\rm th}\) International Conference on Category Theory and Computer Science. Lecture Notes in Computer Science, vol. 1290 (Springer Verlag, S. Margherita Ligure, Italy, 1997), pp. 106–126
86.
M. Fiore, E. Moggi, D. Sangiorgi, in Proceedings of the \(11{\rm th}\) Annual IEEE Symposium on Logic in Computer Science (IEEE Computer Society Press, New Brunswick, New Jersey, USA, 1996), pp. 43–54
87.
T. Hartonas, Denotational semantics for a higher-order extension of the monadic \(\pi \)-calculus. Technical report Math&CS1999-1, Technical Education Institute (TEI) of Larissa, Larissa, Greece (1999)
88.
89.
I. Stark, in Proceedings of the \(11{\rm th}\) Annual IEEE Symposium on Logic in Computer Science (IEEE Computer Society, New Brunswick, New Jersey, USA, 1996), pp. 36–42
90.
P. Aczel, in Proceedings of the \(9{\rm th}\) International Conference in Mathematical Foundations of Programming Semantics, eds. by S.D. Brookes, M.G. Main, A. Melton, M.W. Mislove, D.A. Schmidt. Lecture Notes in Computer Science, vol. 802 (Springer, New Orleans, USA, 1994), pp. 1–28
91.
F. Honsell, M. Lenisa, U. Montanari, M. Pistore, in Proceedings of the IFIP Working Conference on Programming Concepts and Methods, eds. by D. Gries, W.P. de Roever. IFIP Conference Proceedings, vol. 125 (Chapman & Hall, Shelter Island, New York, USA, 1998), pp. 21–51
92.
A.J. Stanford-Clark, G.R. Wightwick, IBM. J. Res. Dev. 54(4), 396 (2010)
93.
U. Hunkeler, H.L. Truong, A. Stanford-Clark, in Proceedings of the Third International Conference on Communication System software and Middleware (COMSWARE 2008) (IEEE, 2008), pp. 791–798
94.
D. Locke, MQ Telemetry Transport (MQTT) V3.1 Protocol Specification. Technical report, IBM Corporation (2010)
95.
R. Baldoni, M. Contenti, S.T. Piergiovanni, A. Virgillito, in 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003) (IEEE Computer Society, 2003), pp. 304–311
96.
L. Abidi, C. Cerin, S. Evangelista, in Proceedings of the 2011 IEEE International Conference on Services Computing (IEEE Computer Society, Washington, DC, USA, 2011), SCC’11, pp. 496–503
97.
C. Wang, A. Carzaniga, D. Evans, A. Wolf, in Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS’02)-Volume 9 - Volume 9 (IEEE Computer Society, Washington, DC, USA, 2002), HICSS’02, pp. 303–
98.
D. Garlan, S. Khersonsky, J.S. Kim, in Proceedings of the 10th International Conference on Model Checking Software (Springer, Berlin, Heidelberg, 2003), SPIN’03, pp. 166–180
99.
M.H. ter Beek, M. Massink, D. Latella, S. Gnesi, A. Forghieri, M. Sebastianis, Electron. Notes Theor. Comput. Sci. 133, 275 (2005)CrossRef
100.
Y. Jia, E.L. Bodanese, C.I. Phillips, J. Bigham, R. Tao, in 2014 IEEE Network Operations and Management Symposium, NOMS 2014, Krakow, Poland, May 5-9, 2014 (IEEE, 2014), pp. 1–8
101.
L. Baresi, C. Ghezzi, L. Mottola, in Proceedings of the 29th International Conference on Software Engineering (IEEE Computer Society, Washington, DC, USA, 2007), ICSE’07, pp. 199–208
102.
F. He, L. Baresi, C. Ghezzi, P. Spoletini, in Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings, vol. 4574 (Springer, 2007), pp. 247–262
103.
S. Gallotti, C. Ghezzi, R. Mirandola, G. Tamburrelli, in Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures (Springer, Berlin, Heidelberg, 2008), QoSA’08, pp. 119–134
104.
A. Fehnker, L.V. Hoesel, A. Mader, in Proceedings of the 6th International Conference on Integrated Formal Methods (Springer, Berlin, Heidelberg, 2007), IFM’07, pp. 253–272
105.
A. Fehnker, P. Gao, in Proceedings of the 5th International Conference on Ad-Hoc, Mobile, and Wireless Networks (Springer, Berlin, Heidelberg, 2006), ADHOC-NOW’06, pp. 128–141
106.
F. Heidarian, J. Schmaltz, F.W. Vaandrager, Theor. Comput. Sci. 413(1), 87 (2012)CrossRef
107.
108.
109.
C.J. Burgess, The role of formal methods in software engineering education and industry. Technical report, University of Bristol, Bristol, UK (1995)
110.
111.
112.
J.M. Spivey, Understanding Z: A Specification Language and Its Formal Semantics (Cambridge University Press, New York, 1988)MATH
113.
J.R. Abrial, The B-book: Assigning Programs to Meanings (Cambridge University Press, New York, 1996)CrossRef
114.
D. Craigen, S. Gerhart, T. Ralston, in Z User Workshop, London 1992 (Springer, 1993), pp. 1–5
115.
M.G. Hinchey, J.P. Bowen, Applications of Formal Methods, vol. 1 (Prentice Hall, New Jersey, 1995)
116.
117.
J.R. Abrial, E. Börger, H. Langmaack, et al., Formal Methods for Industrial Applications: Specifying and Programming The Steam Boiler Control, vol. 9 (Springer Science & Business Media, 1996)
118.
G. Frey, L. Litz, in SMC 2000 Conference Proceedings. 2000 IEEE International Conference on Systems, Man and Cybernetics. ‘Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions’(cat. no. 0, vol. 4 (IEEE, 2000), pp. 2431–2436
119.
A. Banks, R. Gupta, MQTT Version 3.1.1 Plus Errata 01. Technical report, OASIS (2015)
120.
B. Aziz, in 9th International Conference on Availability, Reliability and Security (ARES 2014), Fribourg, Switzerland (IEEE, 2014)
121.
122.
S. Chouali, A. Boukerche, A. Mostefaoui, in Proceedings of the 15th ACM International Symposium on Mobility Management and Wireless Access (ACM, 2017), pp. 129–136
123.
K. Mladenov, Formal verification of the implementation of the MQTT protocol in IoT devices. Master’s thesis, University of Amsterdam, the Netherlands (2017)
124.
M. Houimli, L. Kahloul, S. Benaoun, in 2017 International Conference on Mathematics and Information Technology (ICMIT) (IEEE, 2017), pp. 214–221
125.
C. Bormann, A.P. Castellani, Z. Shelby, IEEE Internet Comput. 16(2), 62 (2012)CrossRef
126.
127.
128.
A.J. Vattakunnel, N.S. Kumar, G.S. Kumar, Procedia Comput. Sci. 93, 299 (2016)CrossRef
129.
M. Puys, M.L. Potet, P. Lafourcade, in International Conference on Computer Safety, Reliability, and Security (Springer, 2016), pp. 67–75
130.
131.
132.
S. Rohjans, K. Piech, S. Lehnhoff, in 2013 IEEE International Workshop on Inteligent Energy Systems (IWIES) (2013), pp. 209–214
133.
P. Herrmann, J.O. Blech, in Federation of International Conferences on Software Technologies: Applications and Foundations (Springer, 2016), pp. 253–261
134.
135.
136.
F.A. Kraemer, V. Slåtten, P. Herrmann, J. Syst. Softw. 82(12), 2068 (2009)CrossRef
137.
M. Rausch, H.. Hanisch, in Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA’95, vol. 1 (1995), pp. 592–600
138.
H.M. Hanisch, A. Lobov, J.L.M. Lastra, R. Tuokko, V. Vyatkin, Int. J. Manuf. Technol. Manage. 8(1–3), 75 (2006)CrossRef
139.
S. Zahra, M. Alam, Q. Javaid, A. Wahid, N. Javaid, S.U.R. Malik, M. Khurram Khan, IEEE Access 5, 27132 (2017)
140.
141.
F. Bonomi, R. Milito, J. Zhu, S. Addepalli, in Proceedings of the First Edition of the MCC Workshop on Mobile Cloud Computing (ACM, 2012), pp. 13–16
142.
K. Jensen, in Applications and Theory of Petri Nets (Springer, Berlin, 1983), pp. 166–180
143.
D. Chen, G. Chang, KSII Trans. Internet Inf. Syst. Comput. Sci.6(1) (2012)
144.
B. Aziz, in Proceedings of the \(11^{\rm th}\) International Conference on Algebraic Methodology and Software Technology. Lecture Notes in Computer Science, vol. 4019 (Springer, Kuressaare, Estonia, 2006), pp. 36–50
145.
B. Aziz, A static analysis framework for security properties in mobile and cryptographic systems. Ph.D. thesis, School of Computing, Dublin City University, Dublin, Ireland (2003)
146.
S. Patil, G. Zhabelova, V. Vyatkin, B. McMillin, in IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society (2015), pp. 003,974–003,979
147.
K.L. McMillan, in Symbolic Model Checking (Springer, Berlin, 1993), pp. 25–60
148.
A. Abate, in Numerical Software Verification, eds. by S. Bogomolov, M. Martel, P. Prabhakar (Springer International Publishing, Cham, 2017), pp. 1–14
149.
U. Gentile, S. Marrone, N. Mazzocca, R. Nardone, Open Cybern. Syst. J. 10(1) (2016)
150.
M. Gribaudo, M. Sereno, A. Bobbio, in Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331) (1999), pp. 74–81
151.
B. Wooding, V. Vahidinasab, S. Soudjani, in 2020 International Conference on Smart Energy Systems and Technologies (SEST) (2020), pp. 1–6
152.
M. Fazouane, H. Kopp, R.W. van der Heijden, D. Le Métayer, F. Kargl, in Engineering Secure Software and Systems. ed. by F. Piessens, J. Caballero, N. Bielova (Springer International Publishing, Cham, 2015), pp. 17–33CrossRef
153.
M. Abadi, C. Fournet, in Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Association for Computing Machinery, New York, NY, USA, 2001), POPL ’01, p. 104–115
154.
I.O. for Standardization. Iso 15118-1:2019 road vehicles — vehicle to grid communication interface — part 1: General information and use-case definition (2019)
155.
C. Höfer, J. Petit, R. Schmidt, F. Kargl, in Proceedings of the 2013 ACM Workshop on Security, Privacy & Dependability for Cyber Vehicles (Association for Computing Machinery, New York, NY, USA, 2013), CyCAR’13, pp. 37–48
156.
E. dos Santos, D. Schoop, A. Simpson, in 2016 IEEE Vehicular Networking Conference (VNC) (2016), pp. 1–8
157.
H.J. Genrich, in Petri Nets: Central Models and Their Properties, eds. by W. Brauer, W. Reisig, G. Rozenberg (Springer, Berlin, 1987), pp. 207–247
158.
L. Li, J. Pang, Y. Liu, J. Sun, J.S. Dong, in 2014 19th International Conference on Engineering of Complex Computer Systems (2014), pp. 11–18
159.
S. Meier, B. Schmidt, C. Cremers, D. Basin, in Computer Aided Verification. ed. by N. Sharygina, H. Veith (Springer, Berlin, 2013), pp. 696–701CrossRef
160.
J.K. Liu, M.H. Au, W. Susilo, J. Zhou, in Computer Security - ESORICS 2012, eds. by S. Foresti, M. Yung, F. Martinelli (Springer, Berlin, 2012), pp. 397–414
Metadata
Title
Introduction
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_1

Premium Partner

    Image Credits