Keywords of "Modelling and analysing an identity federation protocol: federated network providers scenario"

Label

• Keywords of "Modelling and analysing an identity federation protocol: federated network providers scenario" (literal)
• Parole chiave di "Modelling and analysing an identity federation protocol: federated network providers scenario" (literal)

Insieme di parole chiave di

• Modelling and analysing an identity federation protocol: federated network providers scenario (Comunicazione a convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)

Ha membro

• D.4.6 Security and Protection - Verification (Parola chiave)
• Network protocols (Parola chiave)
• K.6.5 Security and Protection (Parola chiave)
• D.2.4 Software/Program Verification. Formal methods (Parola chiave)
• D.2.4 Software/Program Verification. Model checking (Parola chiave)

Incoming links:

Insieme di parole chiave

• Modelling and analysing an identity federation protocol: federated network providers scenario (Comunicazione a convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)

Membro di

• D.2.4 Software/Program Verification. Formal methods (Parola chiave)
• D.2.4 Software/Program Verification. Model checking (Parola chiave)
• Network protocols (Parola chiave)
• K.6.5 Security and Protection (Parola chiave)
• D.4.6 Security and Protection - Verification (Parola chiave)