The Additional Protocol is not a stand-alone agreement, but rather a protocol to a safeguards agreement that provides additional tools for verification. In particular, it significantly increases the ...
The Seventh Review Conference of the Biological Weapons Convention (BWC) will be held this December in Geneva, with member states convening to assess the bioweapons nonproliferation regime and discuss ...
Layering protocols are modeled using layering structures that mirror the protocol layers. There are significant challenges in modelling verification components for layering protocols such as (1) reuse ...