Browsing by Journal Title 4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companion, SSIRI-C 2010
Showing results 1 to 3 of 3
Issue Date | Title | Author(s) |
---|---|---|
2010 | Modeling efficient multi-chained stream signature protocol using communicating sequential processeses | Koltuksuz, Ahmet ; Özkan, Murat; Külahçıoğlu, Burcu |
Jul-2010 | Towards test case generation for synthesizable VHDL programs using model checker | Ayav, Tolga ; Tuğlular, Tuğkan ; Belli, Fevzi |
2010 | Utilization of timed automata as a verification tool for security protocols | Koltuksuz, Ahmet ; Külahçıoğlu, Burcu; Özkan, Murat |