A Security Verification Framework for SysML Activity Diagrams
UML and SysML play a central role in modern software and systems engineering. They are considered as the de facto standard for modeling software and systems. Today’s systems are created from a myriad of interacting parts that are combined to produce visible behavior. The main difficulty arises from t...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
2013
|
| Online Access: | http://spectrum.library.concordia.ca/977746/1/Ouchani_Phd_F2013.pdf Samir, Ouchani <http://spectrum.library.concordia.ca/view/creators/Samir=3AOuchani=3A=3A.html> (2013) A Security Verification Framework for SysML Activity Diagrams. PhD thesis, Concordia University. |