| Creator |
|
|
|
|
|
|
|
|
|
| Language |
|
| Date |
|
| Source Title |
|
| Source Title |
|
| Vol |
|
| First Page |
|
| Last Page |
|
| Publication Type |
|
| Access Rights |
|
| Related DOI |
|
|
|
|
|
| Related URI |
|
|
|
|
|
| Relation |
|
|
|
|
|
| Abstract |
近年，マルチサービス環境における認証システムが注目されている．本稿では，安全性だけでなくプライバシ保護についても考慮した認証方式を提案する．また形式的なモデルによる安全性定義を拡張し，マルチサービス環境における認証方式の安全性の定義を行う．さらに，同じモデルを用いて，プライバシ保護についての性質であるサービス間のリンク不能性を定義する．提案する認証方式は安全性， サービス間のリンク不能性を持ち，さ...らにメモリサイズがサービス数に比例しない特長を持つ．そのためメモリサイズに制限のある携帯デバイスを用いた認証システムに適している．
In this paper, we propose an authentication scheme for multi-service environment that satisfies not only security but also privacy protection. Moreover, we extend the definition of security on the formal authetication model in order to define the security for multi-service environment. We define also unlinkability, which is a property on privacy protection, on the same model. Our proposing scheme is adaptive for identification scheme with smart cards since the number of secret strings stored in the smart cards depends on the number of service providers.show more
|
Export Mendeley
toru08_1