Open Access
Electronic Notes in Theoretical Computer Science, volume 168, pages 29-43
An Approach for the Specification, Verification and Synthesis of Secure Systems
Publication type: Journal Article
Publication date: 2007-02-05
Q3
SJR: 0.221
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
Found
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 only for publications connected to researchers, organizations and labs registered on the platform.
- Statistics recalculated weekly.
Are you a researcher?
Create a profile to get free access to personal recommendations for colleagues and new articles.
Metrics
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}
}