B

BASIN D.

Last name: BASIN D.

2002 (v1)

Publication

Metadata-only

The AVISS Security Protocol Analysis Tool

ARMANDO, ALESSANDRO BASIN D. BOUALLAGUI M.

No description

Uploaded on: March 31, 2023
2005 (v1)

Publication

Metadata-only

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications

ARMANDO, ALESSANDRO BASIN D. Y. BOICHUT

No description

Uploaded on: October 11, 2023