A formal data-model of the CORBA security service.
We use the formal language Z to specify and analyze the security service of CORBA. In doing so, we tackle the problem of how one can apply lightweight formal methods to improve the precision and aid the analysis of a substantial, informal specification. Our approach is scenario-driven: we use repres...
| Опубликовано в:: | Software engineering notes. 26, 5 (2001). |
|---|---|
| Главный автор: | |
| Формат: | Статья |
| Язык: | English |
| Предметы: |