RETRACTED: Adopting security checks in business transactions using formal-oriented analysis processes for entrepreneurial students - Retracted Article | RetractBase