Metody tworzenia, modelowania i analizy protokołów w intersieciach kwantowych