Validating the Use of BAN LOGIC.

Jos Mara Sierra, Julio Csar Hernndez Castro, Almudena Alcaide, Joaqun Torres Mrquez

Browse the full ICCSA paper archive.