Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Dominique Bolignano"'
Autor:
Dominique Bolignano
Publikováno v:
MFPS
In this paper we extend the results proposed in [5] so as to provide an approach for finding and using a safe abstraction for the verification of general security properties. Similar abstractions based on abstract interpretation techniques have been
Autor:
Dominique Bolignano
Publikováno v:
Interactive Theorem Proving ISBN: 9783642396335
ITP
ITP
Despite intensive research done in the area of formal methods and proof techniques, these techniques remain poorly adopted and only used in marginal situations, or in niche markets. The author has been applying formal methods in industry for a few de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::489304431f71e054a98dce2f66a9bd23
https://doi.org/10.1007/978-3-642-39634-2_1
https://doi.org/10.1007/978-3-642-39634-2_1
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540421672
Java Card Workshop
Java Card Workshop
The benefits of formal methods for software engineering have been described at length in many research papers. They include among others: • Better understanding and improved communication through unambiguous descriptions. • Early bug detection th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0f1afc1bdb1210ac45629a04c9755ce2
https://doi.org/10.1007/3-540-45165-x_1
https://doi.org/10.1007/3-540-45165-x_1
Publikováno v:
Modeling and Verification of Parallel Processes ISBN: 9783540427872
MOVEP
MOVEP
Our goal in this paper is not to enrich the literature with yet another defence of formal methods, but rather to build on our experience of using and studying formal methods in security to provide an industrial point of view, with a strong emphasis o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5b9f0568766a28f56d05c799f70c016c
https://doi.org/10.1007/3-540-45510-8_7
https://doi.org/10.1007/3-540-45510-8_7
Autor:
Dominique Bolignano
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540664635
Formal methods have long been recognised as central to the development of secure system. Formal models of security policy and formal verification of cryptographic protocols have shown to be very useful to the development of real systems. But many new
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::67ab6fa2103f5a5592d759573c8fc533
https://doi.org/10.1007/3-540-48256-3_19
https://doi.org/10.1007/3-540-48256-3_19
Autor:
Dominique Bolignano
Publikováno v:
Computer Aided Verification ISBN: 9783540646082
CAV
CAV
We discuss the advantages and limitations of the main proof-based approaches to the formal verification of cryptographic protocols. We show possible routes for addressing their limitations by combining them with model-checking techniques. More precis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::af9080990a6af8439ad19663a8d89151
https://doi.org/10.1007/bfb0028735
https://doi.org/10.1007/bfb0028735
Autor:
Marc Mehdi Ayadi, Dominique Bolignano
Publikováno v:
FME '97: Industrial Applications and Strengthened Foundations of Formal Methods ISBN: 9783540635338
FME
FME
The objective of this paper is to present the verification of some confidentiality features of the SESAME protocol, an extension of Kerberos. We do that by using the formal approach presented in [7]. This approach is based on the use of state-based g
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fc2924063984205a38f2ce2933ed97dd
https://doi.org/10.1007/3-540-63533-5_19
https://doi.org/10.1007/3-540-63533-5_19
Autor:
Mourad Debbabi, Dominique Bolignano
Publikováno v:
Monographs in Computer Science ISBN: 9781461274834
We present a semantic theory for concurrent, functional and imperative programming languages that consists mainly in a static semantics together with a dynamic semantics. The static semantics is inspired by the type and effect discipline. More precis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::66a644bc1db82abf3754f6122c6461ee
https://doi.org/10.1007/978-1-4612-2274-3_6
https://doi.org/10.1007/978-1-4612-2274-3_6
Autor:
Dominique Bolignano
Publikováno v:
Computer Aided Verification ISBN: 9783540631668
CAV
CAV
We revisit the approach defined in [2] for the formal verification of cryptographic protocols so as to allow for some mechanization in the verification process. In the original approach verification uses theorem proving. Here we show that for a wide
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::928a219b845052173a371952d37f0789
https://doi.org/10.1007/3-540-63166-6_15
https://doi.org/10.1007/3-540-63166-6_15
Autor:
Dominique Bolignano
Publikováno v:
ACM Conference on Computer and Communications Security