|
DSpace at King Saud University >
King Saud University >
COLLEGES >
Science Colleges >
College of Computer and Information Sciences >
College of Computer and Information Sciences >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/123456789/15427
|
| Title: | Securing UML Information Flow Using FlowUML |
| Authors: | Khaled Alghathbar
Csilla Farkas
Duminda Wijesekera |
| Keywords: | Unified Modelling Language, flow control, policies, logic |
| Issue Date: | 2006 |
| Publisher: | Journal of Research and Practice in Information Technology |
| Abstract: | FlowUML is a logic-based system to validate information flow policies at the requirements specification phase of UML based designs. It uses Horn clauses to specify information flow polices that can be checked against flow information extracted from UML sequence diagrams. FlowUML policies can be written at a coarse grain level of caller-callee relationships or at a finer level involving passed attributes. |
| URI: | http://hdl.handle.net/123456789/15427 |
| Appears in Collections: | College of Computer and Information Sciences
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
