Bug fixes and updated SysMLsec documentation
The empty HSM activity diagram bug is fixed, a more clear warning is issued if keys cannot be mapped securely, and the SysML Sec Documentation is updated.
The empty HSM activity diagram bug is fixed, a more clear warning is issued if keys cannot be mapped securely, and the SysML Sec Documentation is updated.