@misc {IOPORT.70933655,
    author       = {Basin, David A. and Rittinger, Frank and Vigan\`o, Luca},
    title        = {A formal data-model of the CORBA security service},
    howpublished = {ESEC / SIGSOFT FSE, 303-304 (2001).},
    year         = {2001},
    doi          = {10.1145/503209.503253},
    identifier   = {70933655},
}