A logical approach to security in the context of ambient calculus