» Main »
serscis-access-modeller - modelling access propagation in capability systems
Published by Thomas Leonard
- Overview
This is a Zero Install feed. To add this program to your Applications menu, choose Zero Install -> Add New Program from the Applications menu. e.g. on Ubuntu:
If you don't see this menu item, install the zeroinstall-injector package from your distribution's repository, or from 0install.net.
Drag the feed's URL to the dialog box that appears. Other environments may use other systems. For example, if you are a ROX desktop user, drag the link to AddApp instead.
Alternatively, to run it from the command-line:
$ 0launch http://www.serscis.eu/0install/serscis-access-modeller
The 0alias command can be used to create a short-cut to run it again later.
If you don't have the 0launch command, download it from the 0install.net web-site, which also contains documentation about how the Zero Install system works.
- Full name
- Description
Given a system of communicating objects and bounds on the behaviours of some of them, this modeller can be used to prove certain security properties of the system. It is similar to the Scollar system, but is better at handling dynamic systems (e.g. modelling factories).
- Homepage
- Available versions
The list below is just for information; Zero Install will automatically select one of these versions for you.
Version Released Stability Platform Download 0.1 2011-04-18 stable Source code Download (66001 bytes) 0.1 2011-04-18 stable Any Download (561199 bytes) 0.2 2011-04-28 stable Any Download (582823 bytes) 0.3 2011-05-17 stable Any Download (580635 bytes) 0.4 2011-06-23 stable Any Download (598570 bytes) 0.5 2011-08-12 stable Any Download (610464 bytes) 0.6 2011-08-18 stable Any Download (590624 bytes) 0.7 2011-11-01 stable Any Download (625783 bytes) 0.8 2011-11-07 stable Any Download (650018 bytes) 0.8.1 2011-11-07 stable Any Download (649156 bytes) 0.9 2011-11-15 stable Any Download (874603 bytes) 0.10 2011-11-17 stable Any Download (916457 bytes) 0.11 2011-11-21 stable Any Download (999226 bytes) 0.12 2011-11-25 stable Any Download (1060297 bytes) 0.13 2011-12-12 stable Any Download (1123944 bytes) 0.14 2012-01-17 stable Any Download (1137445 bytes) 0.15 2012-02-06 stable Any Download (1158102 bytes) 0.15.1 2012-02-14 stable Any Download (1154209 bytes) 0.16 2012-10-10 stable Any Download (1177456 bytes) 0.2 2011-04-28 stable Source code Download (68267 bytes) 0.3 2011-05-17 stable Source code Download (69546 bytes) 0.4 2011-06-23 stable Source code Download (70363 bytes) 0.5 2011-08-12 stable Source code Download (82572 bytes) 0.6 2011-08-18 stable Source code Download (53179 bytes) 0.7 2011-11-01 stable Source code Download (54065 bytes) 0.8 2011-11-07 stable Source code Download (58941 bytes) 0.8.1 2011-11-07 stable Source code Download (58943 bytes) 0.9 2011-11-15 stable Source code Download (133345 bytes) 0.10 2011-11-17 stable Source code Download (139320 bytes) 0.11 2011-11-21 stable Source code Download (177464 bytes) 0.12 2011-11-25 stable Source code Download (182503 bytes) 0.13 2011-12-12 stable Source code Download (191082 bytes) 0.14 2012-01-17 stable Source code Download (192797 bytes) 0.15 2012-02-06 stable Source code Download (197456 bytes) 0.15.1 2012-02-14 stable Source code Download (196962 bytes) 0.16 2012-10-10 stable Source code Download (197204 bytes) - Required libraries
The list below is just for information; Zero Install will automatically download any required libraries for you.