Browsing by Author Özkan, Süleyman Murat

Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)
2010Modeling and Verification of a Stream Authentication Protocol Using Communicating Sequential ProcessesÖzkan, Süleyman Murat