13.05.2014 Views

these doctorat une architecture de securité

these doctorat une architecture de securité

these doctorat une architecture de securité

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Annexe A<br />

Grammaire <strong>de</strong> la politique <strong>de</strong><br />

sécurité<br />

tel-00239252, version 1 - 5 Feb 2008<br />

DomainName = String |<br />

"*" # all domains<br />

DomainDef = "Domain" DomainName { No<strong>de</strong>Set } |<br />

"Domain" DomainName "Subset" DomainName { No<strong>de</strong>Set }<br />

No<strong>de</strong>Set = No<strong>de</strong>+<br />

No<strong>de</strong> = "//" Machine "/" String<br />

DNS_Name = String |<br />

"*" "." String "." String<br />

HostName = String | String "." String "." String<br />

IP = IPNumber "." IPNumber "." IPNumber "." IPNumber |<br />

IPNumber "." IPNumber "." IPNumber ".*" |<br />

IPNumber "." IPNumber ".*.*" |<br />

IPNumber ".*.*.*" |<br />

"*"<br />

Machine = DNS_Name | IP<br />

String = Alpha String | Number String<br />

Alpha = [a-z,A-Z]<br />

IPNumber = [0-255]<br />

Number = [0-9]<br />

RULES = PERMISSION* MIGRATION* OACREATION*<br />

PERMISSION = DomainName UNI_BI DomainName ":" COM_MODE<br />

MIGRATION = DomainName "migration" FROM_TO DomainName : YES_NO COM_MODE<br />

OACREATION = DomainName "create on" DomainName : YES_NO COM_MODE<br />

COM_MODE = [ MODE_A , MODE_I , MODE_C , MODE_Z ]<br />

Option_Mo<strong>de</strong> = Option Mo<strong>de</strong> |<br />

NULL<br />

# authenticate<br />

MODE_A = A Option |<br />

# integrity<br />

MODE_I = I Option |<br />

# confi<strong>de</strong>ntiality<br />

MODE_C = C Option |<br />

# anonymous<br />

MODE_Z = Z Option |<br />

Option = + | -<br />

UNI_BI = "->" | # Query<br />

1

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!