Syntaxe des instructions d'Up ! 5GL pour Up ! Security Manager

La spécification du format binaire d'un profil de sécurité ou de licences n'est pas disponible puisqu'elle est illisible par un module autre qu'Up ! Security Manager.

Syntaxe des instructions d'Up ! 5GL pour Up ! Security Manager

Syntaxe de la définition d'un profil de sécurité

SignatureDuProfilDeSecurite
ModulesImportes
MixerDefinitionsProgramme
ProfilSecurite
MixerRappels
;

SignatureDuProfilDeSecurite :

Source Securite LibelleDuFichierDeSecurite Version NumeroDeVersion . NumeroDeRevision . NumeroDeCorrection ;
;

DeclarationsSecurite :

Roles
Utilisateurs
ProfilsSecurites
;

Roles :

| Role Defaut ;
| Role ListeDeRoles
;

ListeDeRoles :

Role
| ListeDeRoles Role
| Version NumeroDeVersion . NumeroDeRevision Faire
ListeDeRoles
Fin Version
;

Role :

TypeDAcces NomDUnRole ( Description , NomDuRolePere ) ;
;

Utilisateurs :

| Utilisateur Defaut ;
| Utilisateur ListeDUtilisateurs
;

ListeDUtilisateurs :

Utilisateur
| ListeDUtilisateurs Utilisateur
| Version NumeroDeVersion . NumeroDeRevision Faire
ListeDUtilisateurs
Fin Version
;

Utilisateur :

TypeDAcces NomDUnUtilisateur ( Description , MotDePasse , DateEtHeure , DateEtHeure , NomDuRolePere ) ;
;

ProfilsSecurites :

| ProfilsSecurites ProfilSecurite
| Version NumeroDeVersion . NumeroDeRevision Faire
ProfilsSecurites ProfilSecurite
Fin Version
;

ProfilSecurite :

TypeDAcces Securite NomDuProfilSecurite
Roles
Utilisateurs
Debut
InstructionsSecurite
Fin Securite
;

InstructionsSecurite :

| ListeDInstructions
;

ListeDInstructions :

Instruction
| ListeDInstructions Instruction
;

Instruction :

InstructionRole
| InstructionUtilisateur
| InstructionSecuriteDUnRole
| InstructionLicence
| MixerInstructions
;

InstructionRole :

AjouterRole ( NomDuRole , Description , NomDuRolePere ) ;
| ModifierRole ( NomDuRole , Description , NomDuRolePere ) ;
| SupprimerRole ( NomDuRole ) ;
;

InstructionUtilisateur :

AjouterUtilisateur ( NomDeLUtilisateur , Description , MotDePasse , DateEtHeure , DateEtHeure , NomDuRolePere ) ;
| ModifierUtilisateur ( NomDeLUtilisateur , Description , MotDePasse , MotDePasse , DateEtHeure , DateEtHeure , NomDuRolePere ) ;
| SupprimerUtilisateur ( NomDeLUtilisateur ) ;
;

InstructionSecuriteDUnRole :

Role NomDuRole Faire
ListeDeSecuritesDUnRole
Fin Role
;

ListeDeSecuritesDUnRole :

SuiteSecuriteDUnRole
| ListeDeSecuritesDUnRole SuiteSecuriteDUnRole
;

SuiteSecuriteDUnRole :

Habilitation
| Quota
;

Habilitation :

HabilitationAppel
| HabilitationMethodeType
| HabilitationProprieteType
| HabilitationType
| HabilitationMethodeObjet
| HabilitationProprieteObjet
| HabilitationObjet
| HabilitationVariable
;

HabilitationAppel :

AjouterHabilitationAppel ( NomDuModule , NomDeLAppel , Etat ) ;
| ModifierHabilitationAppel ( NomDeLUtilisateur , NomDeLAppel , Etat ) ;
| SupprimerHabilitationAppel ( NomDeLUtilisateur , NomDeLAppel ) ;
;

HabilitationMethodeType :

AjouterHabilitationMethodeType ( NomDeLUtilisateur , NomDuType , NomDeLaMethode , Etat ) ;
| ModifierHabilitationMethodeType ( NomDeLUtilisateur , NomDuType , NomDeLaMethode , Etat , Etat ) ;
| SupprimerHabilitationMethodeType ( NomDeLUtilisateur , NomDuType , NomDeLaMethode , Etat ) ;
;

HabilitationProprieteType :

AjouterHabilitationProprieteType ( NomDeLUtilisateur , NomDuType , NomDeLaPropriete , Etat , Etat , Etat , Etat ) ;
| ModifierHabilitationProprieteType ( NomDeLUtilisateur , NomDuType , NomDeLaPropriete , Etat , Etat , Etat , Etat , Etat ) ;
| SupprimerHabilitationProprieteType ( NomDeLUtilisateur , NomDuType , NomDeLaPropriete , Etat ) ;
;

HabilitationType :

AjouterHabilitationType ( NomDeLUtilisateur , NomDuType , Etat , Etat , Etat , Etat , Etat ) ;
| ModifierHabilitationType ( NomDeLUtilisateur , NomDuType , Etat , Etat , Etat , Etat , Etat , Etat ) ;
| SupprimerHabilitationType ( NomDeLUtilisateur , NomDuType , Etat ) ;
;

HabilitationMethodeObjet :

AjouterHabilitationMethodeObjet ( AdresseDeLObjet , NomDeLaMethode , Etat ) ;
| ModifierHabilitationMethodeObjet ( AdresseDeLObjet , NomDeLaMethode , Etat ) ;
| SupprimerHabilitationMethodeObjet ( AdresseDeLObjet , NomDeLaMethode ) ;
;

HabilitationProprieteObjet :

AjouterHabilitationProprieteObjet ( AdresseDeLObjet , NomDeLaPropriete , Etat , Etat , Etat , Etat ) ;
| ModifierHabilitationProprieteObjet ( AdresseDeLObjet , NomDeLaPropriete , Etat , Etat , Etat , Etat ) ;
| SupprimerHabilitationProprieteObjet ( AdresseDeLObjet , NomDeLaPropriete ) ;
;

HabilitationObjet :

AjouterHabilitationObjet ( AdresseDeLObjet , Etat , Etat , Etat , Etat , Etat ) ;
| ModifierHabilitationObjet ( AdresseDeLObjet , Etat , Etat , Etat , Etat , Etat ) ;
| SupprimerHabilitationObjet ( AdresseDeLObjet ) ;
;

HabilitationVariable :

AjouterHabilitationVariable ( NomDuModule , NomDeLaVariable , Etat , Etat ) ;
| ModifierHabilitationVariable ( NomDuModule , NomDeLaVariable , Etat , Etat ) ;
| SupprimerHabilitationVariable ( NomDuModule , NomDeLaVariable ) ;
;

Quota :

QuotaAppel
| QuotaMethodeType
| QuotaType
| QuotaMethodeObjet
| QuotaObjet
| QuotaEntrepot
;

QuotaAppel :

AjouterQuotaAppel ( NomDuModule , NomDeLAppel , QuotaMaximal , QuotaProportionnel ) ;
| ModifierQuotaAppel ( NomDuModule , NomDeLAppel , QuotaMaximal , QuotaProportionnel ) ;
| SupprimerQuotaAppel ( NomDuModule , NomDeLAppel ) ;
;

QuotaMethodeType :

AjouterQuotaMethodeType ( NomDuModule , NomDuType , NomDeLaMethode , QuotaMaximal , QuotaProportionnel ) ;
| ModifierQuotaMethodeType ( NomDuModule , NomDuType , NomDeLaMethode , QuotaMaximal , QuotaProportionnel , Etat ) ;
| SupprimerQuotaMethodeType ( NomDuModule , NomDuType , NomDeLaMethode , Etat ) ;
;

QuotaType :

AjouterQuotaType ( NomDuModule , NomDuType , QuotaMaximal , QuotaProportionnel ) ;
| ModifierQuotaType ( NomDuModule , NomDuType , QuotaMaximal , QuotaProportionnel , Etat ) ;
| SupprimerQuotaType ( NomDuModule , NomDuType , Etat ) ;
;

QuotaMethodeObjet :

AjouterQuotaMethodeObjet ( AdresseDeLObjet , NomDeLaMethode , QuotaMaximal , QuotaProportionnel ) ;
| ModifierQuotaMethodeObjet ( AdresseDeLObjet , NomDeLaMethode , QuotaMaximal , QuotaProportionnel ) ;
| SupprimerQuotaMethodeObjet ( AdresseDeLObjet , NomDeLaMethode ) ;
;

QuotaObjet :

AjouterQuotaObjet ( AdresseDeLObjet , QuotaMaximal , QuotaProportionnel ) ;
| ModifierQuotaObjet ( AdresseDeLObjet , QuotaMaximal , QuotaProportionnel ) ;
| SupprimerQuotaObjet ( AdresseDeLObjet ) ;
;

QuotaEntrepot :

FixerQuotaEntrepot ( NomDeLEntrepot , Taille ) ;
;

InstructionLicence :

LicenceNonAttribuee
| LicenceNoeud
| LicenceUtilisateur
;

LicenceNonAttribuee :

AjouterLicenceNonAttribuee ( NomDuModule , NumeroDeSerie , DateEtHeure , NbJetons , Editeur , Integrateur , Distributeur ) ;
| SupprimerLicenceNonAttribuee ( NomDuModule, NumeroDeSerie ) ;
;

LicenceNoeud :

AjouterLicenceNoeud ( NomDuNoeud , NomDuServeur , NomDuModule , NumeroDeSerie , DateEtHeure , NbJetons , Editeur , Integrateur , Distributeur ) ;
| SupprimerLicenceNoeud ( NomDuNoeud , NomDuServeur , NomDuModule , NumeroDeSerie ) ;
;

LicenceUtilisateur :

AjouterLicenceUtilisateur ( NomDeLUtilisateur , NomDuModule , NumeroDeSerie , DateEtHeure , NbJetons , Editeur , Integrateur , Distributeur ) ;
| SupprimerLicenceUtilisateur ( NomDeLUtilisateur , NomDuModule , NumeroDeSerie ) ;
;

AdresseDeLObjet :

AdresseDeLObjet
| MixerExpression
;

DateEtHeure :

Nul
| Date ( Jour , Mois , Annee , Heures , Minutes , Secondes )
| MixerExpression
;

Description :

Description
| MixerExpression
;

Distributeur :

Nul
| NomDuDistributeur
| MixerExpression
;

Editeur :

Nul
| NomDeLEditeur
| MixerExpression
;

Etat :

Vrai
| Faux
| MixerExpression
;

Integrateur :

Nul
| NomDeLIntegrateur
| MixerExpression
;

MotDePasse :

Nul
| MotDePasse
| MixerExpression
;

NbJetons :

NbJetons
| MixerExpression
;

NomDeLAppel :

NomDeLAppel
| MixerExpression
;

NomDeLEntrepot :

NomDeLEntrepot
| MixerExpression
;

NomDeLaMethode :

NomDeLaMethode
| MixerExpression
;

NomDuModule :

NomDuModule
| MixerExpression
;

NomDuNoeud :

NomDuNoeud
| MixerExpression
;

NomDeLaPropriete :

NomDeLaPropriete
| MixerExpression
;

NomDuRole :

NomDuRole
| MixerExpression
;

NomDuRolePere :

Nul
| NomDuRole
;

NomDuServeur :

NomDuServeur
| MixerExpression
;

NomDuType :

NomDuType
| MixerExpression
;

NomDeLUtilisateur :

NomDeLUtilisateur
| MixerExpression
;

NomDeLaVariable :

NomDeLaVariable
| MixerExpression
;

NumeroDeSerie :

NumeroDeSerie
| MixerExpression
;

QuotaMaximal :

QuotaMaximal
| MixerExpression
;

QuotaProportionnel :

QuotaProportionnel
| MixerExpression
;

Taille :

Taille
| MixerExpression
;

Syntaxe de la définition d'une expression

NomDUnProfilDeSecurite
| NomDUnRole
| NomDUnUtilisateur
;

Référence des mots-clés utilisables dans les instructions d'Up ! 5GL pour Up ! Security Manager

Exemple de profil de sécurité

Ressource de profil de sécurité autonome

Source Securite "Exemple de l'emploi des profils de sécurité" Version 4.0.0;

Securite MaSecurite
/*****************/
Debut
AjouterRole("MonRole1", "Description du rôle 1", Nul);
AjouterRole("MonRole2", "Description du rôle 2", "Nom du rôle 1");
AjouterUtilisateur("scott", "Description de scott", Nul, Nul, "MonRole1");

Role "MonRole1" Faire

AjouterHabilitationAppel("habilitation", "P", Vrai);
AjouterHabilitationType("habilitation", "T1", Vrai, Vrai, Vrai, Vrai, Vrai);
AjouterHabilitationMethodeType("habilitation", "T1", "Ecrire", Vrai);
AjouterHabilitationProprieteType("habilitation", "T1", "CA", Vrai, Vrai, Vrai, Vrai);
AjouterHabilitationProprieteType("habilitation", "T1", "CB", Vrai, Vrai, Vrai, Vrai);
AjouterHabilitationProprieteType("habilitation", "T1", "CC", Vrai, Vrai, Vrai, Vrai);
AjouterHabilitationProprieteType("habilitation", "T1", "CD", Vrai, Vrai, Vrai, Vrai);
AjouterHabilitationVariable("habilitation", "V1", Vrai, Vrai);

AjouterQuotaAppel("habilitation", "P", 1, 1.0);
FixerQuotaEntrepot("Systeme", 1000);
AjouterQuotaType("habilitation", "T1", 1, 1.0);
AjouterQuotaMethodeType("habilitation", "T1", "Ecrire", 1, 1.0);

Ressource de profil de sécurité incluse dans un programme en Up ! 5GL

Ressource de profil de sécurité référencée par un programme en Up ! 5GL

Déclaration explicite de la ressource du profil de sécurité

Déclaration implicite de la ressource du profil de sécurité