{"_id":"zxA4zYRrGBNN3pk26","bibbaseid":"ti-protocolescryptographiquesanalyseparmthodesformelles","downloads":0,"creationDate":"2017-10-18T08:27:05.771Z","title":"Protocoles cryptographiques : analyse par méthodes formelles","author_short":["TI"],"year":null,"bibtype":"article","biburl":null,"bibdata":{"title":"Protocoles cryptographiques : analyse par méthodes formelles","type":"article","pages":"1-8","id":"680be1b5-489a-3c51-8a57-3e2210f168ac","created":"2011-12-15T13:46:46.000Z","file_attached":"true","profile_id":"181202e9-9e14-3446-b699-8df37a3580b5","group_id":"36e61195-3063-323c-b879-d6d31394db8a","last_modified":"2017-03-14T14:39:23.619Z","tags":"Mathématiques","read":false,"starred":false,"authored":false,"confirmed":"true","hidden":false,"citation_key":"TIzz","folder_uuids":"d10a704f-f298-425b-99b3-9752b6438360","private_publication":false,"bibtype":"article","author":"TI, undefined","journal":"Techniques de l'Ingénieur","bibtex":"@article{\n title = {Protocoles cryptographiques : analyse par méthodes formelles},\n type = {article},\n pages = {1-8},\n id = {680be1b5-489a-3c51-8a57-3e2210f168ac},\n created = {2011-12-15T13:46:46.000Z},\n file_attached = {true},\n profile_id = {181202e9-9e14-3446-b699-8df37a3580b5},\n group_id = {36e61195-3063-323c-b879-d6d31394db8a},\n last_modified = {2017-03-14T14:39:23.619Z},\n tags = {Mathématiques},\n read = {false},\n starred = {false},\n authored = {false},\n confirmed = {true},\n hidden = {false},\n citation_key = {TIzz},\n folder_uuids = {d10a704f-f298-425b-99b3-9752b6438360},\n private_publication = {false},\n bibtype = {article},\n author = {TI, undefined},\n journal = {Techniques de l'Ingénieur}\n}","author_short":["TI"],"urls":{"Paper":"https://bibbase.org/service/mendeley/25bd5b32-29aa-37df-a206-ab5dc511be68/file/71d9a72a-0094-06c1-76e7-0331eadb52a7/Protocoles_cryptographiques__analyse_par_mthodes_formelles.pdf.pdf"},"bibbaseid":"ti-protocolescryptographiquesanalyseparmthodesformelles","role":"author","downloads":0,"html":""},"search_terms":["protocoles","cryptographiques","analyse","par","thodes","formelles","ti"],"keywords":[],"authorIDs":[]}