Search Results for Ayta&ccedil;, Sıtkı. - Narrowed by: 2010 SirsiDynix Enterprise https://catalog.iyte.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dAyta$0025C3$0025A7$00252C$002bS$0025C4$0025B1tk$0025C4$0025B1.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bTarihi$0025092010$0025092010$0026rm$003dTEZ$002bKOLEKSIYONU0$00257C$00257C$00257C1$00257C$00257C$00257C0$00257C$00257C$00257Ctrue$0026te$003dILS$0026ps$003d300? 2024-05-30T05:16:09Z Utilization of timed automata as a verification tool for real-time security protocols ent://SD_ILS/0/SD_ILS:106737 2024-05-30T05:16:09Z 2024-05-30T05:16:09Z by&#160;K&uuml;lah&ccedil;ıoğlu, Burcu.<br/><a href="http://hdl.handle.net/11147/3046">Access to Electronic Version.</a><br/>Format:&#160;El Yazması<br/> Modeling and verification of a stream authentication protocol using communicating sequential processes ent://SD_ILS/0/SD_ILS:63164 2024-05-30T05:16:09Z 2024-05-30T05:16:09Z by&#160;&Ouml;zkan, S&uuml;leyman Murat.<br/><a href="http://hdl.handle.net/11147/3819">Access to Electronic Version.</a><br/>Format:&#160;El Yazması<br/>