Programming Model Perspective on Security and Privacy of Social Cyber-physical Systems

摘要

Both number and diversity of computer-enabled physical objects in our surroundings is rapidly increasing. Such objects offer connectivity and are programmable, which forms basis for new kinds of cyber-physical computing environments. This has inspired us to propose a programming model called Action-Oriented Programming (AcOP), where focus is at simplifying the creation of applications that build on sharing data and interactions between the devices. However, such co-operative multi-device programs are a huge challenge for security and privacy. Therefore, fine grained control over the publicity of event data and control over the actions are required. Fortunately, a lot can be achieved on the framework side to facilitate developer's use of security and privacy enhancing mechanisms. In this paper, we address this challenge in the context of AcOP.