Matches in DBpedia 2016-04 for { <http://citeseer.ist.psu.edu/lowe96breaking.html> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- lowe96breaking.html booktitle "Tools and Algorithms for the Construction and Analysis of Systems".
- lowe96breaking.html first "G.".
- lowe96breaking.html isCitedBy Communicating_sequential_processes.
- lowe96breaking.html last "Lowe".
- lowe96breaking.html pages "147–166.".
- lowe96breaking.html publisher "Springer-Verlag".
- lowe96breaking.html title "Breaking and fixing the Needham-Schroeder public-key protocol using FDR".
- lowe96breaking.html url lowe96breaking.html.
- lowe96breaking.html year "1996".