Copy and paste this code on your web page where you want the widget to appear.
<ahref="https://plu.mx/plum/a/?doi=10.1007%2F978-3-319-39207-3_10"data-popup="right"data-size="large"class="plumx-plum-print-popup"data-site="plum"data-hide-when-empty="true">Probabilistic model checking of security protocols without perfect cryptography assumption</a>