Search the dblp DataBase
Ilaria Matteucci :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Fabio Martinelli , Ilaria Matteucci An Approach for the Specification, Verification and Synthesis of Secure Systems. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:168, n:, pp:29-43 [Journal ] Ilaria Matteucci A Tool for the Synthesis of Controller Programs. [Citation Graph (0, 0)][DBLP ] Formal Aspects in Security and Trust, 2006, pp:112-126 [Conf ] Fabio Martinelli , Ilaria Matteucci Through Modeling to Synthesis of Security Automata. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:179, n:, pp:31-46 [Journal ] Ilaria Matteucci Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:186, n:, pp:101-120 [Journal ] Synthesis of Local Controller Programs for Enforcing Global Security Properties. [Citation Graph (, )][DBLP ] A Uniform Approach to Security and Fault-Tolerance Specification and Analysis. [Citation Graph (, )][DBLP ] A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application. [Citation Graph (, )][DBLP ] CNL4DSA: a controlled natural language for data sharing agreements. [Citation Graph (, )][DBLP ] Controlling Usage in Business Process Workflows through Fine-Grained Security Policies. [Citation Graph (, )][DBLP ] Synthesis of Web Services Orchestrators in a Timed Setting. [Citation Graph (, )][DBLP ] Extending Security-by-Contract with Quantitative Trust on Mobile Devices. [Citation Graph (, )][DBLP ] Idea: Action Refinement for Security Properties Enforcement. [Citation Graph (, )][DBLP ] Towards Information Flow Properties for Distributed Systems. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.003secs