Amadeus agrees to buy IDEMIA’s public security unit for $1.2 billion — Blankdot