Automated Analysis of Security-Design Models - Research Collection

Metadata only

Author

Basin, David

Clavel, Manuel

Doser, Jürgen

Egea, Marina

Date

2009

Type

Journal Article

Citations

Cited 54 times in Web of Science

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1016/j.infsof.2008.05.011

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

Notes

.

More

Show all metadata

Citations

Cited 54 times in Web of Science

ETH Bibliography

yes

Altmetrics