Keyword List
Japanese Page
SITE TOP
Login
To browse Full-Text PDF.
>
Forgotten your password?
Menu
Search
Full-Text Search
Search(JPN)
Latest Issue
A Fundamentals
Trans.Fundamentals.
JPN Edition(in Japanese)
B Communications
Trans.Commun.
JPN Edition(in Japanese)
C Electronics
Trans.Electron.
JPN Edition(in Japanese)
D Information & Systems
Trans.Inf.&Syst.
JPN Edition(in Japanese)
Abstracts of JPN Edition
Trans.Fundamentals.
Trans.Commun.
Trans.Electron.
Trans.Inf.&Syst.
Archive
Volume List
Trans.Fundamentals.
Trans.Commun.
Trans.Electron.
Trans.Inf.&Syst.
Transactions (1976-1990)
Volume List [JPN Edition]
A JPN Edition(in Japanese)
B JPN Edition(in Japanese)
C JPN Edition(in Japanese)
D JPN Edition(in Japanese)
Editorial Board & Reviewers
Open Access Papers
Trans. Commun.
Trans. Commun.(JPN Edition)
Link
Subscription
Join IEICE
Library/Nonmember
Pay Per View
A Fundamentals
B Communications
C Electronics
D Information & Systems
For Authors
IEICE Home Page
Citation Index
Privacy Policy
Copyright & Permissions
Copyright (c) by IEICE
Keyword : conditional term rewriting system
Security Verification of Real-Time Cryptographic Protocols Using a Rewriting Approach
Takehiko TANAKA
Yuichi KAJI
Hajime WATANABE
Toyoo TAKATA
Tadao KASAMI
Publication:
IEICE TRANSACTIONS on Information and Systems
Publication Date:
1998/04/20
Vol.
E81-D
No.
4
pp.
355-363
Type of Manuscript:
PAPER
Category:
Software Theory
Keyword:
security verification
,
cryptographic protocol
,
timestamp
,
conditional term rewriting system
,
network security
,
Summary
|
Full Text:PDF
