| Presentation | 2012-03-09 Formal Verification of a Telephone System with a Concierge Server Keito KURONO, Aya MAEDA, Yoshinobu KAWABE, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | To avoid becoming a victim of phone fraud, it is important to check whether a caller is a scammer or not. Yamamoto et.al introduced a computer system, called a concierge server, to (semi-)automate this check. If a phone call is made by a caller, the concierge server asks for the caller's information before connection. If information obtained from the caller is not appropriate, the phone call is rejected. In this paper, we formalize a telephone system with a concierge server, and we verify the correctness of the telephone system. We employ a formal specification language based on I/O-automaton theory to describe the telephone system, and we show the telephone system's correctness by trace equivalence. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | phone fraud / concierge server / I/O-automaton / formal verification |
| Paper # | MSS2011-84 |
| Date of Issue |
| Conference Information | |
| Committee | MSS |
|---|---|
| Conference Date | 2012/3/1(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Mathematical Systems Science and its applications(MSS) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Formal Verification of a Telephone System with a Concierge Server |
| Sub Title (in English) | |
| Keyword(1) | phone fraud |
| Keyword(2) | concierge server |
| Keyword(3) | I/O-automaton |
| Keyword(4) | formal verification |
| 1st Author's Name | Keito KURONO |
| 1st Author's Affiliation | Department of Information Science, Aichi Institute of Technology() |
| 2nd Author's Name | Aya MAEDA |
| 2nd Author's Affiliation | Department of Information Science, Aichi Institute of Technology |
| 3rd Author's Name | Yoshinobu KAWABE |
| 3rd Author's Affiliation | Department of Information Science, Aichi Institute of Technology |
| Date | 2012-03-09 |
| Paper # | MSS2011-84 |
| Volume (vol) | vol.111 |
| Number (no) | 453 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |