Verification of Security-Relevant Behavior Model and Security Policy for Model-Carrying Code (Q3557736)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verification of Security-Relevant Behavior Model and Security Policy for Model-Carrying Code |
scientific article |
Statements
Verification of Security-Relevant Behavior Model and Security Policy for Model-Carrying Code (English)
0 references
23 April 2010
0 references
mobile code security
0 references
verification
0 references
behavior model
0 references
security policy
0 references
model-carrying code
0 references
