Automated Analysis of Security-Design Models

Metadata only

Author

Date

2009

Type

Journal Article

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Journal / series

Information and Software Technology

Volume

51(5)

Pages / Article No.

815 - 831

Publisher

Elsevier

Subject

Formal analysis; Metamodels; OCL; SecureUML; Security policies; UML

Organisational unit

03634 - Basin, David / Basin, David

More

ETH Bibliography

yes

Altmetrics

Research Collection