|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ocenasek Pavel, Hranac Jakub |
Routing Functionality in the Logic Approach for Authentication Protocol Design.  |
HCI  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sadie Creese, Michael Goldsmith, Richard Harrison, Bill Roscoe, Paul Whittaker, Irfan Zakiuddin |
Exploiting Empirical Engagement in Authentication Protocol Design. |
SPC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | DongGook Park, JungJoon Kim, Colin Boyd, Ed Dawson |
Cryptographic Salt: A Countermeasure against Denial-of-Service Attacks. |
ACISP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Levente Buttyán, Sebastian Staamann, Uwe G. Wilhelm |
A Simple Logic for Authentication Protocol Design. (PDF / PS) |
CSFW |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Dieter Gollmann |
What do We Mean by Entity Authentication? |
IEEE Symposium on Security and Privacy |
1996 |
DBLP DOI BibTeX RDF |
authentication protocol design, message passing protocols, high-level objectives, protocol specification abstraction level, cryptographic function, formal specification, cryptography, protocols, message passing, encryption, communication protocols, message authentication, entity authentication |
| 1 | Thomas Y. C. Woo, Simon S. Lam |
A Lesson on Authentication Protocol Design. |
Operating Systems Review |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jochen Liedtke |
A Short Note on Implementing Thread Exclusiveness and Address Space Locking. |
Operating Systems Review |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")