Sabina Rossi
Sabina Rossi
E-mail megerősítve itt: dais.unive.it
Cím
Hivatkozott rá
Hivatkozott rá
Év
Information Flow Security in Dynamic Contexts.
R Focardi, S Rossi
CSFW 1, 307-319, 2002
942002
Verifying persistent security properties
A Bossi, R Focardi, C Piazza, S Rossi
Computer Languages, Systems & Structures 30 (3-4), 231-258, 2004
522004
Modelling downgrading in information flow security
A Bossi, C Piazza, S Rossi
Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 187-201, 2004
472004
An abstract interpretation framework which accurately handles Prolog search-rule and the cut
B Le Charlier, S Rossi, P Van Hentenryck
Proceedings of the 1994 International Symposium on Logic programming, 157-171, 1994
461994
Bridging language-based and process calculi security
R Focardi, S Rossi, A Sabelfeld
International Conference on Foundations of Software Science and Computation …, 2005
422005
Refinement operators and information flow security
A Bossi, R Focardi, C Piazza, S Rossi
First International Conference onSoftware Engineering and Formal Methods …, 2003
382003
Sequence-based abstract interpretation of Prolog
BL Charlier, S Rossi, P Van Hentenryck
arXiv preprint cs/0010028, 2000
282000
CoPS – Checker of Persistent Security
C Piazza, E Pivato, S Rossi
International Conference on Tools and Algorithms for the Construction and …, 2004
272004
Bisimulation and unwinding for verifying possibilistic security properties
A Bossi, R Focardi, C Piazza, S Rossi
International Workshop on Verification, Model Checking, and Abstract …, 2003
272003
Contextual lumpability
J Hillston, A Marin, S Rossi, C Piazza
Proceedings of the 7th International Conference on Performance Evaluation …, 2013
262013
Compositional information flow security for concurrent programs
A Bossi, C Piazza, S Rossi
Journal of Computer Security 15 (3), 373-416, 2007
262007
A proof system for information flow security
A Bossi, R Focardi, C Piazza, S Rossi
International Workshop on Logic-Based Program Synthesis and Transformation …, 2002
262002
Specification-based automatic verification of Prolog programs
A Cortesi, B Le Charlier, S Rossi
International Workshop on Logic Programming Synthesis and Transformation, 38-57, 1996
261996
Information flow security in dynamic contexts
R Focardi, S Rossi
Journal of Computer Security 14 (1), 65-110, 2006
242006
Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic
A Bujari, A Marin, CE Palazzi, S Rossi
Computer Networks 108, 160-170, 2016
222016
On modular termination proofs of general logic programs
A Bossi, N Cocco, S Etalle, S Rossi
arXiv preprint cs/0005018, 2000
212000
On the relations between lumpability and reversibility
A Marin, S Rossi
2014 IEEE 22nd International Symposium on Modelling, Analysis & Simulation …, 2014
182014
A probabilistic energy-aware model for mobile ad-hoc networks
L Gallina, S Hamadou, A Marin, S Rossi
International Conference on Analytical and Stochastic Modeling Techniques …, 2011
182011
Automated verification of Prolog programs
B Le Charlier, C Leclère, S Rossi, A Cortesi
The Journal of Logic Programming 39 (1-3), 3-42, 1999
181999
On the relations between Markov chain lumpability and reversibility
A Marin, S Rossi
Acta Informatica 54 (5), 447-485, 2017
172017
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20