Keywords of "Preserving Security Properties under Refinement"
- Label
- Keywords of "Preserving Security Properties under Refinement" (literal)
- Parole chiave di "Preserving Security Properties under Refinement" (literal)
- Insieme di parole chiave di
- Preserving Security Properties under Refinement (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Ha membro
- Verification (Parola chiave)
- Theory (Parola chiave)
- Security (Parola chiave)
Incoming links:
- Insieme di parole chiave
- Preserving Security Properties under Refinement (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Membro di
- Security (Parola chiave)
- Verification (Parola chiave)
- Theory (Parola chiave)
