|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1 occurrences of 1 keywords
|
|
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Haruki Ota, Shinsaku Kiyomoto, Yutaka Miyake |
Automatic security verification for 3-party authentication and key exchange protocols.  |
NSS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Haruki Ota, Shinsaku Kiyomoto, Toshiaki Tanaka |
Security Verification for Authentication and Key Exchange Protocols, Revisited. |
AINA Workshops |
2010 |
DBLP DOI BibTeX RDF |
security verification method, authentication and key exchange protocols, verification points |
| 1 | Haruki Ota, Ryu Watanabe, Koichi Ito, Toshiaki Tanaka, Takafumi Aoki |
Implementation of remote system using touchless palmprint recognition algorithm. |
MoMM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shinsaku Kiyomoto, Haruki Ota, Toshiaki Tanaka |
On-the-Fly Automatic Generation of Security Protocols. |
ICEIS (3-2) |
2008 |
DBLP BibTeX RDF |
|
| 1 | Haruki Ota, Kazuki Yoneyama, Shinsaku Kiyomoto, Toshiaki Tanaka, Kazuo Ohta |
Universally Composable Hierarchical Hybrid Authenticated Key Exchange. |
IEICE Transactions |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazuki Yoneyama, Haruki Ota, Kazuo Ohta |
Secure Cross-Realm Client-to-Client Password-Based Authenticated Key Exchange Against Undetectable On-Line Dictionary Attacks. |
AAECC |
2007 |
DBLP DOI BibTeX RDF |
different password, C2C-PAKE, cross-realm setting, undetectable on-line dictionary attacks, Authenticated key exchange |
| 1 | Haruki Ota, Shinsaku Kiyomoto, Toshiaki Tanaka |
Proposal of a Transformation Method for Iris Codes in Iris Scanning Verification. |
IEICE Transactions |
2005 |
DBLP BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")