Formal modeling and automatic enforcement of Bring Your Own Device policies

摘要

The diffusion of personal, network-enabled, electronic devices is forcing organizations to consider the enforcement of bring your own device (BYOD) policies; this proves to be true also for organizations that do not support BYOD computing models at all due to security concerns. In some cases, policies could be as simple as making "off limits" all kinds of personal devices, while in other cases, access to enterprise applications could be granted, subject to security and management policies.