Login / Signup
An Amanat-Based Multi-party Certification Protocol for Outsourced Software in Automotive Systems.
Chung-Wei Lin
Shinichi Shiraishi
BaekGyu Kim
Published in:
ISSRE Workshops (2016)
Keyphrases
</>
multi party
safety critical
privacy preserving
third party
intelligent systems
computer systems
formal methods
expert systems
distributed systems
software development
embedded systems
mental states
artificial intelligence
domain specific
intelligent agents
software architecture