Search for: [Subject and Keywords = protocol logic] OR [Subject and Keywords = probabilistic timed automata] OR [Subject and Keywords = communication security] OR [Title = Probability timed automata for investigating communication processes] OR [Creator = Piech, Henryk] OR [Creator = Grodzki, Grzegorz]