Protocolli informatici che facilitano, verificano, o fanno rispettare, la negoziazione o l’esecuzione di un contratto, permettendo talvolta la parziale o la totale esclusione di una clausola contrattuale.