Controlling application interactions on the novel smart cards with security-by-contract