Recep Talha Kuyuk, H. Çelebi, Ibrahim Hökelek, Ozgur Oren, Ayhan Yeni, Aydin Saribudak, F. Kara, Gokhan Vicil, M. U. Uyar
{"title":"安全VoIP终端的互操作性","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":"{\"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}","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}
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.