To improve the BAN (Burrows, Abadi & Needham)logic, ananalysisanddesign logic for authenticationsecuritywas proposedbasedontheBSW (Buttyan, Staamann & Wilhelm) logic.
Bechtel also nudged Al Abadi Group, a construction firm from Basra, to supply manpower, trucks and forklifts to start port repairs before getting proper approval.
While al-Abadi said Iranian officials participated in the discussions, another source close to the talks said the Iranians pressured al-Sadr to craft an agreement.