Skip to content
Snippets Groups Projects
Commit 953bff9a authored by cfs's avatar cfs
Browse files

add tokeneer in HiFAn

parent b082917f
No related branches found
No related tags found
No related merge requests found
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
<name>Tokeneer</name>
<comment></comment>
<projects>
</projects>
<buildSpec>
</buildSpec>
<natures>
<nature>org.eclipse.sirius.nature.modelingproject</nature>
</natures>
</projectDescription>
<?xml version="1.0" encoding="UTF-8"?>
<hifan:DomainComponent xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hifan="http://soton.ac.uk/models/hifan/2021" name="system" purpose="Allow (only) authorised users access to the enclave">
<actions label="ACT1" description="User enters enclave" condition="//@entities.3/@condition.0" target="//@entities.2">
<error label="A11" description="Authorised user prevented from entering enclave​" failure="//@failure.0">
<mitigation label="M11" description="A secure door will open for authorised users"/>
</error>
<error label="A12" description="Unauthorised user enters enclave​" type="OCCURRING" failure="//@failure.1">
<mitigation label="M12" description="A secure door will not open for unauthorised users"/>
</error>
</actions>
<actions label="ACT2" description="User leaves enclave" target="//@entities.2"/>
<failure label="F2" description="Authorised user prevented from entering enclave"/>
<failure label="F1" description="Unauthorised user inside enclave"/>
<entities xsi:type="hifan:DomainComponent" name="SecureDoor">
<actions label="ACTD1" description="User tries to open door" target="//@entities.0"/>
<actions label="ACTD2" description="User tries to close door" target="//@entities.0"/>
<actions label="ACTD3" description="User approaches door" target="//@entities.0"/>
<actions label="ACTD4" description="User leaves door" target="//@entities.0"/>
<entities xsi:type="hifan:DomainComponent" name="SecureLock">
<entities xsi:type="hifan:PhysicalComponent" name="Lock"/>
<entities xsi:type="hifan:DomainComponent" name="SecureCard">
<entities xsi:type="hifan:PhysicalComponent" name="Card"/>
<entities xsi:type="hifan:DomainComponent" name="FingerprintReader"/>
</entities>
</entities>
<entities xsi:type="hifan:PhysicalComponent" name="Door"/>
<entities xsi:type="hifan:DomainComponent" name="AlarmSystem"/>
</entities>
<entities xsi:type="hifan:Agent" name="User"/>
<entities xsi:type="hifan:PhysicalComponent" name="Enclave"/>
<entities xsi:type="hifan:DomainComponent" name="Authorisation">
<condition label="CND1" description="authorised" action="//@actions.0"/>
</entities>
<entities xsi:type="hifan:Assumption" name="Authorised users will not leave the door area while the door is open"/>
<entities xsi:type="hifan:Assumption" name="unauthorised users will not enter in the presence of authorised users"/>
</hifan:DomainComponent>
This diff is collapsed.
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment