|
|||||
|
|
Theorem-proving anonymity of infinite-state systems |
|
| Authors: | Yoshinobu Kawabe Ken Mano Hideki Sakurada Yasuyuki Tsukada |
| Affiliation: | NTT Communication Science Laboratories, NTT Corporation, Japan |
| Abstract: | |
| Keywords: | Anonymity Verification Infinite-state system I/O-automaton Theorem proving Formal methods Safety/security in digital systems |
| 本文献已被 ScienceDirect 等数据库收录！ | |
