| Title | Security Checking Experiments with Mobile Services |
| Publication Type | Conference Paper |
| Year of Publication | 2018 |
| Authors | Ermakov, Anton D., Prokopenko, Svetlana A., Yevtushenko, Nina V. |
| Conference Name | 2018 19th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices (EDM) |
| Date Published | July 2018 |
| Publisher | IEEE |
| ISBN Number | 978-1-5386-5021-9 |
| Keywords | Androids, Automata, Electron devices, Humanoid robots, i-o systems security, i/o systems security, input/output parameters, Java, Java Path Finder verifier, JPF-mobile, mobile computing, mobile services, program verification, pubcrawl, Scalability, security, security checking, security checking experiments, security of data, Software, software behavior, software security |
| Abstract | In this paper, we continue to investigate the problem of software security. The problem is to check if software under test has some vulnerabilities such as exceeding of admissible values of input/output parameters or internal variables or can reach states where the software (service) behavior is not defined. We illustrate by experiments that the well-known verifier Java Path Finder (JPF) can be utilized for this purpose. We apply JPF-mobile to Android applications and results of security checking experiments are presented. |
| URL | https://ieeexplore.ieee.org/document/8434938 |
| DOI | 10.1109/EDM.2018.8434938 |
| Citation Key | ermakov_security_2018 |
Security Checking Experiments with Mobile Services