One of the Possible Formal Desribtions of Deducubility
Branislav R. Boričić (1983)
Publications de l'Institut Mathématique
Similarity:
Branislav R. Boričić (1983)
Publications de l'Institut Mathématique
Similarity:
Gan, Xiao-Xiong, Knox, Nathaniel (2002)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Xiao-Xiong Gan, Dariusz Bugajewski (2010)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
In this note we investigate a relationship between the boundary behavior of power series and the composition of formal power series. In particular, we prove that the composition domain of a formal power series is convex and balanced which implies that the subset consisting of formal power series which can be composed by a formal power series possesses such properties. We also provide a necessary and sufficient condition for the superposition operator to map into itself or to...
Mouhebeddine Berrima, Narjes Ben Rajeb, Véronique Cortier (2011)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
In the last decade, formal methods have proved their interest when analyzing security protocols. Security protocols require in particular to reason about the attacker knowledge. Two standard notions are often considered in formal approaches: deducibility and indistinguishability relations. The first notion states whether an attacker can learn the value of a secret, while the latter states whether an attacker can notice some difference between protocol runs with different values of the...
Mouhebeddine Berrima, Narjes Ben Rajeb, Véronique Cortier (2011)
RAIRO - Theoretical Informatics and Applications
Similarity:
In the last decade, formal methods have proved their interest when analyzing security protocols. Security protocols require in particular to reason about the attacker knowledge. Two standard notions are often considered in formal approaches: deducibility and indistinguishability relations. The first notion states whether an attacker can learn the value of a secret, while the latter states whether an attacker can notice some difference between protocol runs with different values of the...
Marcin Borkowski, Piotr Maćkowiak (2012)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
In this paper, we present a considerable simplification of the proof of a theorem by Gan and Knox, stating a sufficient and necessary condition for existence of a composition of two formal power series. Then, we consider the behavior of such series and their (formal) derivatives at the boundary of the convergence circle, obtaining in particular a theorem of Bugajewski and Gan concerning the structure of the set of points where a formal power series is convergent with all its derivatives. ...