Proof-of-concept modeling for the dissertation. This is meant to be a basic demonstration of system | attacker | defender modeling and analysis capabilities with the SAL model checker.
See here for details: http://sal.csl.sri.com/
-
Notifications
You must be signed in to change notification settings - Fork 0
Proof-of-concept modeling for the dissertation.
License
neutrinos4all/simplediss
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Proof-of-concept modeling for the dissertation.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published