Recep Talha Kuyuk, H. Çelebi, Ibrahim Hökelek, Ozgur Oren, Ayhan Yeni, Aydin Saribudak, F. Kara, Gokhan Vicil, M. U. Uyar
{"title":"Interoperability of secure VoIP terminals","authors":"Recep Talha Kuyuk, H. Çelebi, Ibrahim Hökelek, Ozgur Oren, Ayhan Yeni, Aydin Saribudak, F. Kara, Gokhan Vicil, M. U. Uyar","doi":"10.1109/BlackSeaCom.2013.6623404","DOIUrl":null,"url":null,"abstract":"An interoperability test automation system has been implemented at the Wireless Communication Technologies Research Laboratory (KİTAL) at TÜBİTAK BİLGEM for secure IP communication terminals. Designed and manufactured at BİLGEM, MİLSEC-4 terminals provide VoIP signalling using SIP and end-to-end secure communication using SCIP protocols. This test system, called Shadow Coordinator, aims to verify the interoperability of terminals implementing SCIP, SIP and other related protocols. A simplified EFSM model for the expected behavior of a terminal implementing SCIP is introduced. A more advanced version of this model is used to genearate minimum-length and maximum coverage test sequences.","PeriodicalId":170309,"journal":{"name":"2013 First International Black Sea Conference on Communications and Networking (BlackSeaCom)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2013-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2013 First International Black Sea Conference on Communications and Networking (BlackSeaCom)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/BlackSeaCom.2013.6623404","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 3
Abstract
An interoperability test automation system has been implemented at the Wireless Communication Technologies Research Laboratory (KİTAL) at TÜBİTAK BİLGEM for secure IP communication terminals. Designed and manufactured at BİLGEM, MİLSEC-4 terminals provide VoIP signalling using SIP and end-to-end secure communication using SCIP protocols. This test system, called Shadow Coordinator, aims to verify the interoperability of terminals implementing SCIP, SIP and other related protocols. A simplified EFSM model for the expected behavior of a terminal implementing SCIP is introduced. A more advanced version of this model is used to genearate minimum-length and maximum coverage test sequences.