Stealthy Control Logic Attacks and Defense in Industrial Control Systems