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/PollRS15.nt
. . . . "Erik Poll et al.: Protocol State Machines and Session Languages: Specification, implementation, and Security Flaws. (2015)" . . _:ID_722a22c73f147a8c034f50d98e4bf68d . _:ID_722a22c73f147a8c034f50d98e4bf68d . _:ID_722a22c73f147a8c034f50d98e4bf68d . _:ID_722a22c73f147a8c034f50d98e4bf68d . _:ID_722a22c73f147a8c034f50d98e4bf68d "conf/sp/PollRS15" . _:ID_6f0a16099a3515094f50b82e07e8bdcb . _:ID_6f0a16099a3515094f50b82e07e8bdcb . _:ID_6f0a16099a3515094f50b82e07e8bdcb . _:ID_6f0a16099a3515094f50b82e07e8bdcb . _:ID_6f0a16099a3515094f50b82e07e8bdcb "10.1109/SPW.2015.32" . "Protocol State Machines and Session Languages: Specification, implementation, and Security Flaws." . . . . . . . . "3"^^ . _:Sig_ded91bb1cd5561d06ffe49c41c8cddd1_1 . _:Sig_ded91bb1cd5561d06ffe49c41c8cddd1_1 . _:Sig_ded91bb1cd5561d06ffe49c41c8cddd1_1 . _:Sig_ded91bb1cd5561d06ffe49c41c8cddd1_1 "Erik Poll" . _:Sig_ded91bb1cd5561d06ffe49c41c8cddd1_1 . _:Sig_ded91bb1cd5561d06ffe49c41c8cddd1_1 "1"^^ . _:Sig_ded91bb1cd5561d06ffe49c41c8cddd1_1 . _:Sig_ded91bb1cd5561d06ffe49c41c8cddd1_2 . _:Sig_ded91bb1cd5561d06ffe49c41c8cddd1_2 . _:Sig_ded91bb1cd5561d06ffe49c41c8cddd1_2 . _:Sig_ded91bb1cd5561d06ffe49c41c8cddd1_2 "Joeri de Ruiter" . _:Sig_ded91bb1cd5561d06ffe49c41c8cddd1_2 . _:Sig_ded91bb1cd5561d06ffe49c41c8cddd1_2 . _:Sig_ded91bb1cd5561d06ffe49c41c8cddd1_2 "2"^^ . _:Sig_ded91bb1cd5561d06ffe49c41c8cddd1_2 . _:Sig_ded91bb1cd5561d06ffe49c41c8cddd1_3 . _:Sig_ded91bb1cd5561d06ffe49c41c8cddd1_3 . _:Sig_ded91bb1cd5561d06ffe49c41c8cddd1_3 . _:Sig_ded91bb1cd5561d06ffe49c41c8cddd1_3 "Aleksy Schubert" . _:Sig_ded91bb1cd5561d06ffe49c41c8cddd1_3 . _:Sig_ded91bb1cd5561d06ffe49c41c8cddd1_3 . _:Sig_ded91bb1cd5561d06ffe49c41c8cddd1_3 "3"^^ . _:Sig_ded91bb1cd5561d06ffe49c41c8cddd1_3 . . . . . . "125-133" . "IEEE Symposium on Security and Privacy Workshops" . "IEEE Symposium on Security and Privacy Workshops" . "2015"^^ . "2015"^^ . . "provenance information for RDF data of dblp record 'conf/sp/PollRS15'" . . . . "2023-03-24T00:03:10+0100" .