|
Search the dblp DataBase
Sabina Rossi:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi
Automated Behavioural Verification of Prolog Programs. [Citation Graph (0, 0)][DBLP] APPIA-GULP-PRODE, 1997, pp:189-200 [Conf]
- Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck
An Abstract Interpretation Framework for (almost) Full Prolog. [Citation Graph (0, 0)][DBLP] GULP-PRODE (1), 1994, pp:92-106 [Conf]
- Gilberto Filé, Sabina Rossi
Static Analysis of Prolog with Cut. [Citation Graph (0, 0)][DBLP] GULP, 1993, pp:325-340 [Conf]
- Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
Transforming Processes to Check and Ensure Information Flow Security. [Citation Graph (0, 0)][DBLP] AMAST, 2002, pp:271-286 [Conf]
- Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi
Automated Verification of Behavioural Properties of Prolog Programs. [Citation Graph (0, 0)][DBLP] ASIAN, 1997, pp:225-238 [Conf]
- Silvia Crafa, Sabina Rossi
P-congruences as non-interference for the pi-calculus. [Citation Graph (0, 0)][DBLP] FMSE, 2006, pp:13-22 [Conf]
- Annalisa Bossi, Sandro Etalle, Sabina Rossi
Semantics of Input-Consuming Logic Programs. [Citation Graph (0, 0)][DBLP] Computational Logic, 2000, pp:194-208 [Conf]
- Riccardo Focardi, Sabina Rossi
Information Flow Security in Dynamic Contexts. [Citation Graph (0, 0)][DBLP] CSFW, 2002, pp:307-319 [Conf]
- Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi
Secure Contexts for Confidential Data. [Citation Graph (0, 0)][DBLP] CSFW, 2003, pp:14-28 [Conf]
- Annalisa Bossi, Carla Piazza, Sabina Rossi
Modelling Downgrading in Information Flow Security. [Citation Graph (0, 0)][DBLP] CSFW, 2004, pp:187-0 [Conf]
- Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi
Reexecution-Based Analysis of Logic Programs with Delay Declarations. [Citation Graph (0, 0)][DBLP] Ershov Memorial Conference, 2001, pp:395-405 [Conf]
- Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling. [Citation Graph (0, 0)][DBLP] ESOP, 2001, pp:402-416 [Conf]
- Michele Bugliesi, Ambra Ceccato, Sabina Rossi
Context-Sensitive Equivalences for Non-interference Based Protocol Analysis. [Citation Graph (0, 0)][DBLP] FCT, 2003, pp:364-375 [Conf]
- Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld
Bridging Language-Based and Process Calculi Security. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:299-315 [Conf]
- Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi
Information Flow Security and Recursive Systems. [Citation Graph (0, 0)][DBLP] ICTCS, 2003, pp:369-382 [Conf]
- Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi
Specification-Based Automatic Verification of Prolog Programs. [Citation Graph (0, 0)][DBLP] LOPSTR, 1996, pp:38-57 [Conf]
- Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi
Declarative Semantics of Input Consuming Logic Programs. [Citation Graph (0, 0)][DBLP] Program Development in Computational Logic, 2004, pp:90-114 [Conf]
- Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
A Proof System for Information Flow Security. [Citation Graph (0, 0)][DBLP] LOPSTR, 2002, pp:199-218 [Conf]
- Annalisa Bossi, Carla Piazza, Sabina Rossi
Unwinding Conditions for Security in Imperative Languages. [Citation Graph (0, 0)][DBLP] LOPSTR, 2004, pp:85-100 [Conf]
- Annalisa Bossi, Sabina Rossi
Specialising Logic Programs with Respect to Call?Post Specifications. [Citation Graph (0, 0)][DBLP] LOPSTR, 1998, pp:159-178 [Conf]
- Gilberto Filé, Sabina Rossi
Static Analysis of Prolog with Cut. [Citation Graph (0, 0)][DBLP] LPAR, 1993, pp:134-145 [Conf]
- Baudouin Le Charlier, Sabina Rossi
Entending the FOLON Environment for Automatically Deriving Totally Correct Prolog Procedures from Logic Descriptions. [Citation Graph (0, 0)][DBLP] LPE, 1995, pp:- [Conf]
- Annalisa Bossi, Nicoletta Cocco, Sabina Rossi
Termination of Well-Typed Logic Programs. [Citation Graph (0, 0)][DBLP] PPDP, 2001, pp:73-81 [Conf]
- Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
Refinement Operators and Information Flow Security. [Citation Graph (0, 0)][DBLP] SEFM, 2003, pp:44-53 [Conf]
- Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck
An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut. [Citation Graph (0, 0)][DBLP] SLP, 1994, pp:157-171 [Conf]
- Carla Piazza, Enrico Pivato, Sabina Rossi
CoPS - Checker of Persistent Security. [Citation Graph (0, 0)][DBLP] TACAS, 2004, pp:144-152 [Conf]
- Silvia Crafa, Sabina Rossi
A Theory of Noninterference for the pi-Calculus. [Citation Graph (0, 0)][DBLP] TGC, 2005, pp:2-18 [Conf]
- Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
Bisimulation and Unwinding for Verifying Possibilistic Security Properties. [Citation Graph (0, 0)][DBLP] VMCAI, 2003, pp:223-237 [Conf]
- Riccardo Focardi, Carla Piazza, Sabina Rossi
Proofs Methods for Bisimulation Based Information Flow Security. [Citation Graph (0, 0)][DBLP] VMCAI, 2002, pp:16-31 [Conf]
- Annalisa Bossi, Sandro Etalle, Sabina Rossi
Semantics of well-moded input-consuming logic programs. [Citation Graph (0, 0)][DBLP] Comput. Lang., 2000, v:26, n:1, pp:1-25 [Journal]
- Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
Verifying persistent security properties. [Citation Graph (0, 0)][DBLP] Computer Languages, Systems & Structures, 2004, v:30, n:3-4, pp:231-258 [Journal]
- Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi
On Modular Termination Proofs of General Logic Programs [Citation Graph (0, 0)][DBLP] CoRR, 2000, v:0, n:, pp:- [Journal]
- Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck
Sequence-Based Abstract Interpretation of Prolog [Citation Graph (0, 0)][DBLP] CoRR, 2000, v:0, n:, pp:- [Journal]
- Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling [Citation Graph (0, 0)][DBLP] CoRR, 2001, v:0, n:, pp:- [Journal]
- Annalisa Bossi, Sandro Etalle, Sabina Rossi
Properties of Input-Consuming Derivations [Citation Graph (0, 0)][DBLP] CoRR, 2001, v:0, n:, pp:- [Journal]
- Annalisa Bossi, Riccardo Focardi, Damiano Macedonio, Carla Piazza, Sabina Rossi
Unwinding in Information Flow Security. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:99, n:, pp:127-154 [Journal]
- Agostino Cortesi, Sabina Rossi, Baudouin Le Charlier
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:48, n:, pp:- [Journal]
- Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi
Information flow in secure contexts. [Citation Graph (0, 0)][DBLP] Journal of Computer Security, 2005, v:13, n:3, pp:391-422 [Journal]
- Michele Bugliesi, Sabina Rossi
Non-interference proof techniques for the analysis of cryptographic protocols. [Citation Graph (0, 0)][DBLP] Journal of Computer Security, 2005, v:13, n:1, pp:87-113 [Journal]
- Riccardo Focardi, Sabina Rossi
Information flow security in dynamic contexts. [Citation Graph (0, 0)][DBLP] Journal of Computer Security, 2006, v:14, n:1, pp:65-110 [Journal]
- Annalisa Bossi, Carla Piazza, Sabina Rossi
Compositional information flow security for concurrent programs. [Citation Graph (0, 0)][DBLP] Journal of Computer Security, 2007, v:15, n:3, pp:373-416 [Journal]
- Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi
Automated Verification of Prolog Programs. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1999, v:39, n:1-3, pp:3-42 [Journal]
- Annalisa Bossi, Sandro Etalle, Sabina Rossi
Properties of Input-Consuming Derivations. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:30, n:1, pp:- [Journal]
- Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus
Termination of simply moded logic programs with dynamic scheduling. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2004, v:5, n:3, pp:470-507 [Journal]
- Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi
On modular termination proofs of general logic programs. [Citation Graph (0, 0)][DBLP] TPLP, 2002, v:2, n:3, pp:263-291 [Journal]
- Annalisa Bossi, Sandro Etalle, Sabina Rossi
Properties of input-consuming derivations. [Citation Graph (0, 0)][DBLP] TPLP, 2002, v:2, n:2, pp:125-154 [Journal]
- Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck
Sequence-based abstract interpretation of Prolog. [Citation Graph (0, 0)][DBLP] TPLP, 2002, v:2, n:1, pp:25-84 [Journal]
- Michele Bugliesi, Damiano Macedonio, Sabina Rossi
Static vs Dynamic Typing for Access Control in Pi-Calculus. [Citation Graph (0, 0)][DBLP] ASIAN, 2007, pp:282-296 [Conf]
- Silvia Crafa, Sabina Rossi
Controlling information release in the pi-calculus. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2007, v:205, n:8, pp:1235-1273 [Journal]
PicNIc - Pi-calculus non-interference checker. [Citation Graph (, )][DBLP]
Action Refinement in Process Algebra and Security Issues. [Citation Graph (, )][DBLP]
Compliance Preorders for Web Services. [Citation Graph (, )][DBLP]
A Theory of Adaptable Contract-Based Service Composition. [Citation Graph (, )][DBLP]
Information flow security for service compositions. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.154secs
|