FDP_ACC.2 Volledige toegangscontrole

FDP_ACC.2.1 De TSF dwingt het toepassen van het BCT-toegangsbeleid af voor alle subjecten, alle objecten en alle handelingen

4 Er zijn geen relevante beveiligingsattributen.

.

FDP_ACC.2.2 De TSF garandeert dat alle verrichtingen tussen een subject gecontroleerd door de TSF en een object gecontroleerd door de TSF zijn onderworpen aan een toegangscontrole SFP.

FDP_ACF.1 Toegangscontrole op basis van attributen

FDP_ACF.1.1 De TSF dwingt het toepassen van het BCT-toegangsbeleid af voor objecten voor alle subjecten en alle objecten.

FDP_ACF.1.2 De TSF dwingt de volgende regels af om te bepalen of een verrichting tussen gecontroleerde subjecten en gecontroleerde objecten is toegestaan:

○ TSF zal:

○ Altijd O.BEWEGINGSGEGEVENS inlezen, samenvatten, en samen met de tijd

5 Zie FPT_STM.1

en de gegevens betreffende verplaatsing beschikbaar stellen als O. BASISGEGEVENS;

○ Altijd O.POSITIEGEGEVENS inlezen en vastleggen;

○ O.ARBEIDSTIJDGEGEVENS vastleggen in Operationele Modus Arbeidstijd en Operationele Modus Taxivervoer;

○ O.RITGEGEVENS vastleggen in Operationele Modus Taxivervoer.

○ Altijd O.PROGRAMMATUURREVISIEs (kunnen) inlezen van S.UPDATEMIDDELEN en (t.b.v. een eventuele update) vastleggen;

○ Direct na het uitvoeren van een software update met een O.PROGRAMMATUURREVISIE de na de update geldende O.BASISGEGEVENS, O.GEBEURTENISGEGEVENS en O.SYSTEEMGEGEVENS vastleggen in Operationele Modus Basis c.q. Activerings- en Keuringsmodus;

○ O.BEDRIJFSGEGEVENS van een bepaalde vervoerder (kunnen) inlezen van S.BEDRIJFSMIDDELEN, indien:

○ de TSF voor de desbetreffende vervoerder is vergrendeld en

○ de O.BEDRIJFSGEGEVENS zijn ondertekend door een S.ONDERNEMERSKAART van de desbetreffende vervoerder;

○ De volgende gegevens:

○ O.SYSTEEMGEGEVENS en

○ alle O.BASISGEGEVENS, O.ARBEIDSTIJDENGEGEVENS, O.RITGEGEVENS, O.BEDRIJFSGEGEVENS, O.KAARTHOUDERGEGEVENS en O.GEBEURTENISGEGEVENS geregistreerd gedurende de periode dat de TSF voor de desbetreffende vervoerder is vergrendeld of vergrendeld geweest (bedrijfsvergrendeling)

(kunnen) uitvoeren naar S.BEDRIJFSMIDDELEN, indien:

○ de TSF voor de desbetreffende vervoerder is vergrendeld en

○ de TSF, als onderdeel van O.BEDRIJFSGEGEVENS, beschikt over een unieke autorisatie voor deze uitvoer die

○ een nog niet verstreken geldigheidsperiode voor deze uitvoer vermeldt.

○ NB: Als gegevens worden vastgelegd dan is dat inclusief de elektronische handtekening

6 Zie FDP_DAU.2

.

○ ONBEKEND mag de in de TOE operationele O.PROGRAMMATUUR door de O.PROGRAMMATUUR uit een (van S.UPDATEMIDDELEN afkomstige) O.PROGRAMMATUURREVISIE vervangen indien:

○ de O.PROGRAMMATUURREVISIE integer en authentiek is,

○ het versienummer van de in de TOE operationele O.PROGRAMMATUUR correspondeert met het criterium in O.VERVANGBARE_VERSIES uit de O.PROGRAMMATUURREVISIE en

○ de O.KALIBRATIEINDICATIE uit de O.PROGRAMMATUURREVISIE negatief is.

○ ONBEKEND mag O.SYSTEEMGEGEVENS tonen op een leesvenster.

○ BESTUURDER mag de eigen:

○ O.RITGEGEVENS, O.ARBEIDSTIJDENGEGEVENS en O.KAARTHOUDERGEGEVENS tonen op een leesvenster;

○ O.ARBEIDSTIJDENGEGEVENS opslaan op de S.CHAUFFEURSKAART;

○ O.ARBEIDSTIJDENGEGEVENS van de S.CHAUFFEURSKAART overbrengen naar de TOE;

○ O.RITGEGEVENS en O.KAARTHOUDERGEGEVENS uitvoeren naar S.PRINTER.

○ BESTUURDER mag O.SYSTEEMGEGEVENS tonen op een leesvenster.

○ TOEZICHTHOUDER mag alle O.BASISGEGEVENS, O.ARBEIDSTIJDENGEGEVENS, O.RITGEGEVENS, O.BEDRIJFSGEGEVENS, O.KAARTHOUDERGEGEVENS, O.GEBEURTENISGEGEVENS en O.SYSTEEMGEGEVENS

○ tonen op een leesvenster;

○ uitvoeren naar S.PRINTER;

○ uitvoeren naar S.HANDHAVINGSMIDDELEN.

○ TOEZICHTHOUDER mag, mits de TOE is gedeactiveerd, O.POSITIEGEGEVENS

○ uitvoeren naar S.HANDHAVINGSMIDDELEN.

○ WERKPLAATS mag de TOE deactiveren.

○ WERKPLAATS mag O.VARIABELE_SYSTEEMGEGEVENS aanpassen

○ vanaf het bedieningspaneel;

○ vanaf S.KALIBRATIEMIDDELEN.

○ WERKPLAATS mag de in de TOE operationele O.PROGRAMMATUUR door de O.PROGRAMMATUUR uit een (van S.UPDATEMIDDELEN afkomstige) O.PROGRAMMATUURREVISIE vervangen indien:

○ de O.PROGRAMMATUURREVISIE integer en authentiek is en

○ het versienummer van de in de TOE operationele O.PROGRAMMATUUR correspondeert met het criterium in O.VERVANGBARE_VERSIES uit de O.PROGRAMMATUURREVISIE.

○ WERKPLAATS mag alle O.BASISGEGEVENS, O.RITGEGEVENS, O.ARBEIDSTIJDENGEGEVENS, O.BEDRIJFSGEGEVENS, O.KAARTHOUDERGEGEVENS, O.GEBEURTENISGEGEVENS en O.SYSTEEMGEGEVENS

○ tonen op een leesvenster;

○ uitvoeren naar S.PRINTER;

○ uitvoeren naar S.KALIBRATIEMIDDELEN.

○ VERVOERDER mag alle O.BASISGEGEVENS, O.ARBEIDSTIJDENGEGEVENS, O.RITGEGEVENS, O.BEDRIJFSGEGEVENS, O.KAARTHOUDERGEGEVENS en O.GEBEURTENISGEGEVENS geregistreerd gedurende de periode dat de TSF voor de desbetreffende vervoerder is vergrendeld of vergrendeld geweest (bedrijfsvergrendeling)

○ tonen op een leesvenster;

○ uitvoeren naar S.PRINTER;

○ uitvoeren naar S.BEDRIJFSMIDDELEN.

○ VERVOERDER mag alle O.SYSTEEMGEGEVENS

○ tonen op een leesvenster;

○ uitvoeren naar S.PRINTER;

○ uitvoeren naar S.BEDRIJFSMIDDELEN.

○ VERVOERDER mag O.BEDRIJFSGEGEVENS aanpassen

○ vanaf het bedieningspaneel;

○ vanaf S.BEDRIJFSMIDDELEN.

FDP_ACF.1.3 -

7 Vervallen.

FDP_ACF.1.4 De TSF zal expliciet toegang van subjecten naar objecten weigeren gebaseerd op de volgende regel:

○ Alle niet in FDP_ACF.1.2 genoemde toegang is niet toegestaan

FDP_ETC.2 Export van gegevens met attributen

FDP_ETC.2.1 De TSF dwingt het gebruik van het BCT-toegangsbeleid af wanneer O.BASISGEGEVENS, O.ARBEIDSTIJDENGEGEVENS, O.RITGEGEVENS, O.POSITIEGEGEVENS, O.BEDRIJFSGEGEVENS, O.GEBEURTENISGEGEVENS en O.SYSTEEMGEGEVENS gegevens worden overgebracht naar externe gegevensdragers of inrichtingen buiten de TSF.

FDP_ETC.2.2 De TSF exporteert gegevens inclusief de bijbehorende elektronische handtekening over deze gegevens, behalve als deze naar S.PRINTER of het leesvenster worden geëxporteerd.

FDP_ETC.2.3 De TSF garandeert dat de elektronische handtekening onlosmakelijk is geassocieerd met de geëxporteerde gegevens.

FDP_ETC.2.4 De TSF dwingt de volgende regels af wanneer gegevens worden geëxporteerd van de TSF:

○ De TSF handhaaft de rangschikking van gegevens (berichtvolgorde) bij gegevensoverdracht naar externe gegevensdragers of inrichtingen;

FDP_ITC.1 Import van gegevens zonder attributen

FDP_ITC.1.1 De TSF dwingt het gebruik van het BCT-toegangsbeleid af wanneer gegevens worden ingelezen van S.BOORDCOMPUTERKAARTEN, S.BEWEGINGSOPNEMER, S.POSITIEBEPALINGSSENSOR, S.HANDHAVINGSMIDDELEN, S.KALIBRATIEMIDDELEN, S.BEDRIJFSMIDDELEN, S.UPDATEMIDDELEN of S.TAXAMETER.FDP_ITC.1.2 De TSF negeert attributen wanneer gegevens worden ingelezen door de TSF.

FDP_ITC.1.3 De TSF dwingt de volgende regels af wanneer gegevens worden ingelezen door de TSF:

○ De TSF verwerkt gegevens alleen wanneer deze afkomstig zijn van:

○ de interne tijdklok van de TSF;

○ de interne verplaatsingsopnemer van de TSF;

○ contact signaal (ignition sense);

○ invoer door de gebruiker via het bedieningspaneel;

○ S.BEWEGINGSOPNEMER;

○ S.POSITIEBEPALINGSSENSOR;

○ S.BOORDCOMPUTERKAARTEN;

○ S.SYSTEEMKAART;

○ S.TAXAMETER;

○ S.BEDRIJFSMIDDELEN;

○ S.UPDATEMIDDELEN.