On a formal framework for security properties

Sigrid Gurgens, Peter Ochsenschlager, Carsten Rudolph

Research output: Contribution to journalArticleResearchpeer-review

30 Citations (Scopus)
Original languageEnglish
Pages (from-to)457 - 466
Number of pages10
JournalComputer Standards and Interfaces
Volume27
Issue number5
DOIs
Publication statusPublished - 2005
Externally publishedYes

Cite this