Open Access
An Approach for the Specification, Verification and Synthesis of Secure Systems
Publication type: Journal Article
Publication date: 2007-02-05
SJR: —
CiteScore: —
Impact factor: —
ISSN: 15710661
Theoretical Computer Science
General Computer Science
Abstract
In this paper we describe an approach based on open system analysis for the specification , verification and synthesis of secure systems. In particular, by using our framework, we are able to model a system with a possible intruder and verify whether the whole system is secure, i.e. whether the system satisfies a given temporal logic formula that describes its secure behavior. If necessary, we are also able to automatically synthesize a process that, by controlling the behavior of the possible intruder, enforces the desired secure behavior of the whole system.
Found
Nothing found, try to update filter.
Found
Nothing found, try to update filter.
Top-30
Journals
|
1
2
|
|
|
Electronic Proceedings in Theoretical Computer Science, EPTCS
2 publications, 13.33%
|
|
|
Lecture Notes in Computer Science
2 publications, 13.33%
|
|
|
ACM Transactions on Information and System Security
1 publication, 6.67%
|
|
|
Proceedings of the IEEE
1 publication, 6.67%
|
|
|
Communications in Computer and Information Science
1 publication, 6.67%
|
|
|
Acta Informatica
1 publication, 6.67%
|
|
|
Handbook of Research on Innovations in Systems and Software Engineering
1 publication, 6.67%
|
|
|
Advances in Computer and Electrical Engineering
1 publication, 6.67%
|
|
|
1
2
|
Publishers
|
1
2
3
4
|
|
|
Springer Nature
4 publications, 26.67%
|
|
|
electronic proceedings in theoretical computer science, eptcs
2 publications, 13.33%
|
|
|
IGI Global
2 publications, 13.33%
|
|
|
Association for Computing Machinery (ACM)
1 publication, 6.67%
|
|
|
Institute of Electrical and Electronics Engineers (IEEE)
1 publication, 6.67%
|
|
|
1
2
3
4
|
- We do not take into account publications without a DOI.
- Statistics recalculated weekly.
Are you a researcher?
Create a profile to get free access to personal recommendations for colleagues and new articles.
Metrics
15
Total citations:
15
Citations from 2024:
0
The most citing journal
Citations in journal:
2
Cite this
GOST |
RIS |
BibTex
Cite this
GOST
Copy
Martinelli F., Matteucci I. An Approach for the Specification, Verification and Synthesis of Secure Systems // Electronic Notes in Theoretical Computer Science. 2007. Vol. 168. pp. 29-43.
GOST all authors (up to 50)
Copy
Martinelli F., Matteucci I. An Approach for the Specification, Verification and Synthesis of Secure Systems // Electronic Notes in Theoretical Computer Science. 2007. Vol. 168. pp. 29-43.
Cite this
RIS
Copy
TY - JOUR
DO - 10.1016/j.entcs.2006.12.003
UR - https://doi.org/10.1016/j.entcs.2006.12.003
TI - An Approach for the Specification, Verification and Synthesis of Secure Systems
T2 - Electronic Notes in Theoretical Computer Science
AU - Martinelli, Fabio
AU - Matteucci, Ilaria
PY - 2007
DA - 2007/02/05
PB - Elsevier
SP - 29-43
VL - 168
SN - 1571-0661
ER -
Cite this
BibTex (up to 50 authors)
Copy
@article{2007_Martinelli,
author = {Fabio Martinelli and Ilaria Matteucci},
title = {An Approach for the Specification, Verification and Synthesis of Secure Systems},
journal = {Electronic Notes in Theoretical Computer Science},
year = {2007},
volume = {168},
publisher = {Elsevier},
month = {feb},
url = {https://doi.org/10.1016/j.entcs.2006.12.003},
pages = {29--43},
doi = {10.1016/j.entcs.2006.12.003}
}