#OSSummit: Seven Properties of Highly Secure IoT