Construction and analysis of safe, secure, and interoperable smart devicesに関係する本がみつかりませんでした。
カーリルローカルでも探してみましょう。