An Approach to Analyzing Availability  Properties of Security Protocols

Research output: Contribution to journal › Journal article › Research › peer-review

OpenUrl availability

@article{57f965b040144b1898c0736165b79123,

title = "An Approach to Analyzing Availability Properties of Security Protocols",

author = "Henrik Pilegaard and Hansen, {Michael Reichhardt} and Robin Sharp",

year = "2003",

language = "English",

volume = "10",

pages = "337--373",

journal = "Nordic Journal of Computing",

issn = "1236-6064",

publisher = "University of Helsinki Department of Computer Science",

number = "4",

}