C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Software Protection Combined with Tamper-Proof Device.
Kazuhide Fukushima
Shinsaku Kiyomoto
Yutaka Miyake
Published in:
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2012)
Keyphrases
</>
software systems
theorem proving
software tools
theorem prover
security level
software package
software development
software maintenance
user interface
control unit
software design
personal computer
source code
information security
data acquisition
test cases
computer systems
software engineering
information systems