A Verification Approach for Applied System Security

Download

Open access

Author

Date

2005-06

Type

Journal Article

ETH Bibliography

yes

Altmetrics

Download

Rights / license

Permanent link

https://doi.org/10.3929/ethz-b-000052625

Publication status

published

External links

Journal / series

International Journal on Software Tools for Technology Transfer

Volume

7(3)

Pages / Article No.

233 - 247

Publisher

Springer

Subject

Verification; Security; Refinement; POSIX; Z

Organisational unit

03634 - Basin, David / Basin, David

Notes

Published online 25 January 2005. It was possible to publish this article open access thanks to a Swiss National Licence with the publisher

More

ETH Bibliography

yes

Altmetrics

Research Collection