About
Log in
Log in?
DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
DTU Findit
DTU
Close advanced
{{problem}}
By field
Using AND/OR
By author
This tool can help you build boolean queries suitable for doing a broad search for different synonyms or spellings of each word. Start via the drop-down below or just start typing in the search field.
{{ row.typeTitle }}:
(
)
Author:
Nielsen
remove
Interpreted as:
title:(A AND Verifiable AND Language AND for AND Cryptographic AND Protocols)
Suggestions: Include records that partially match the query
Previous
1
-
2
of
2
Next
cledgmbkaj pohinf
2
PhD Thesis
A Verifiable Language for Cryptographic Protocols
Technical University of Denmark — 2009
We develop a formal language for specifying cryptographic protocols in a structured and clear manner, which allows verification of many interesting properties; in particular confidentiality and integrity. The study sheds new light on the problem of creating intuitive and human readable languages
Year: 2009
Language: English
