iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/sp/Kemmerer87.rdf
Richard A. Kemmerer: Using Formal Verification Techniques to Analyze Encryption Protocols. (1987) conf/sp/Kemmerer87 10.1109/SP.1987.10005 Using Formal Verification Techniques to Analyze Encryption Protocols. 1 Richard A. Kemmerer 1 134-139 S&P S&P 1987 1987 provenance information for RDF data of dblp record 'conf/sp/Kemmerer87' 2023-09-21T15:57:34+0200