?url_ver=Z39.88-2004&rft_id=10.1016%2Fj.jlamp.2015.09.003&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aulast=Bartoletti&rft.aufirst=Massimo&rft.au=Bartoletti%2C+Massimo&rft.atitle=Combining+behavioural+types+with+security+analysis&rft.title=Journal+of+Logical+and+Algebraic+Methods+in+Programming&rft.date=November+2015&rft.volume=84&rft.issue=6&rft.pages=763-780&rft.issn=2352-2208&rft.genre=article