Design Philosophy and Mathematical Models of the Casino Protocol: Applications to IP Protection, Resource Verification, and ...