The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Massimo Bartoletti: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
    Enforcing Secure Service Composition. [Citation Graph (0, 0)][DBLP]
    CSFW, 2005, pp:211-223 [Conf]
  2. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
    Types and Effects for Secure Service Orchestration. [Citation Graph (0, 0)][DBLP]
    CSFW, 2006, pp:57-69 [Conf]
  3. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
    Security Issues in Service Composition. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2006, pp:1-16 [Conf]
  4. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
    History-Based Access Control with Local Policies. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2005, pp:316-332 [Conf]
  5. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
    Security-Aware Program Transformations. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:355-368 [Conf]
  6. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
    Checking Risky Events Is Enough for Local Policies. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2005, pp:97-112 [Conf]
  7. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
    Static Analysis for Stack Inspection. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:54, n:, pp:- [Journal]
  8. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
    Program Transformations under Dynamic Security Policies. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:99, n:, pp:49-86 [Journal]
  9. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
    Stack inspection and secure program transformations. [Citation Graph (0, 0)][DBLP]
    Int. J. Inf. Sec., 2004, v:2, n:3-4, pp:187-217 [Journal]
  10. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino
    Secure Service Orchestration. [Citation Graph (0, 0)][DBLP]
    FOSAD, 2007, pp:24-74 [Conf]
  11. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino
    Types and Effects for Resource Usage Analysis. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2007, pp:32-47 [Conf]

  12. nu-Types for Effects and Freshness Analysis. [Citation Graph (, )][DBLP]


  13. Usage Automata. [Citation Graph (, )][DBLP]


  14. A Calculus of Contracting Processes. [Citation Graph (, )][DBLP]


  15. Policy framings for access control. [Citation Graph (, )][DBLP]


  16. Model Checking Usage Policies. [Citation Graph (, )][DBLP]


  17. Hard Life with Weak Binders. [Citation Graph (, )][DBLP]


  18. Jalapa: Securing Java with Local Policies: Tool Demonstration. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002