A logic for secure memory access of abstract state machines - Research Collection

Metadata only

Author

Nanchen, Stanislas

Stärk, Robert F.

Date

2005-05

Type

Journal Article

Citations

Cited 2 times in Web of Science

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1016/j.tcs.2004.11.011

Journal / series

Theoretical Computer Science

Volume

336(2-3)

Pages / Article No.

343 - 365

Publisher

Elsevier

Subject

Abstract state machines; Logic; Access predicate; Secure information flow; Sequentialization of parallel ASMs

Notes

Available online 16 December 2004.

More

Show all metadata

Citations

Cited 2 times in Web of Science

ETH Bibliography

yes

Altmetrics