In this paper we propose right-angled Artin groups as a platform for secret sharing schemes based on the efficiency (linear time) of the word problem. Inspired by previous work of Grigoriev-Shpilrain in the context of graphs, we define two new problems: Subgroup Isomorphism Problem and Group Homomorphism Problem. Based on them, we also propose two new authentication schemes. For right-angled Artin groups, the Group Homomorphism and Graph Homomorphism problems are equivalent, and the later is known to be NP-complete. In the case of the Subgroup Isomorphism problem, we bring some results due to Bridson who shows there are right-angled Artin groups in which this problem is unsolvable.
The concept of a hybrid scheme with connection of SIDH and ECDH is nowadays very popular. In hardware implementations it is convenient to use a classical key exchange algorithm, which is based on the same finite field as SIDH. Most frequently used hybrid scheme is SIDH-ECDH. On the other hand, using the same field as in SIDH, one can construct schemes over Fpn, like Diffie-Hellman or XTR scheme, whose security is based on the discrete logarithm problem. In this paper, idea of such schemes will be presented. The security of schemes, which are based on the discrete logarithm problem over fields Fp; Fp2 ; Fp4 ; Fp6 and Fp8 , for primes p used in SIDH, will be analyzed. At the end, the propositions of practical applications of these schemes will be presented.
Assumptions of the major political and legal documents of the European Union, dedicated to energy efficiency and energy performance of buildings provide the Member States with relevant instruments supporting improvement of the ambient air qualityby dissemination of measures reducing energy demand and promotion of renewable energysources. Mainstreaming EU legislation into national regulations constitutes initial stage of the long term process of supporting implementation of energy efficiency measures. Experience in the improvement of energy performance of the residential buildings revealslimited efficiency of the measures implemented up to date, which results in significantair pollution of Polish cities. The national Action Plans had adopted a limited scope of recommendations included in the EU directives, hence the process meets significant challenges.The article describes adaptation of the relevant EU directives as well as the National Urban Policy in terms of the potential to effectively address faced challenges.
In this paper we present a family of transforms that map existentially unforgeable signature schemes to signature schemes being strongly unforgeable. In spite of rising security, the transforms let us make a signature on a union of messages at once. The number of elements in this union depends on the signing algorithm of a scheme being transformed. In addition to that we define an existentially unforgeable signature scheme based on pairings, which satisfies all assumptions of the first part and is able to be subjected to transformation.
The aim of this paper is to discuss selected formal and pragmatic aspects of the Austro-Hungarian military name policy in the last quarter of the 19th and in the early 20th century. In the introductory section the proprial status of the names of military units (which constitute a part of military chrematonymy) is discussed. An attempt is made to outline the location of these names on the classificatory map of chrematonomastics as well. A brief discussion of the historical and terminological background of the Austro-Hungarian military unit names follows. The most important concepts of the theory of name and naming policy are outlined. The presentation of the analysed onymic material covers unit names included in the officer lists (Schematismen) of the Austro-Hungarian forces as well as names present in the paper seals (Verschlussmarken). On the basis of the material, polymorphism of the discussed names is shown in the sense that obligatory and facultative elements of the names may appear in different ways and within various syntactic name models, depending on the context (including continuous text within which a name is used). Two main syntactic models of the discussed names are proposed. The orthographic and syntactic rules of unit numbering and the ways of embedding geographical names and names of patrons and honorary regiment owners (Inhaber) into unit names are outlined. The meaning and spelling of the expressions imperial-royal (k.k. = kaiserlich-königlich) and imperial and royal (k.u.k. = kaiserlich und königlich) are explained.
While working on the oeuvre of P.F. Strawson (1919–2006), and especially on his metaphysics, I had a unique opportunity to exchange ideas with this eminent exponent of Oxford philosophy. Those exchanges, of which some have been reflected in private correspondence and in a published reply to one of my papers, were focussed on various interpretative questions. Three threads of those discussions seem especially pertinent for grasping the gist of Strawson’s philosophy and its general orientation. The first one concerned the nature of philosophical analysis, or to be more precise, the connective model of it, favoured by Strawson, and its relationship with the idea of concept presupposition. The second thread had to do with the position taken by the Oxford philosopher in the realism debate on three levels: semantic, epistemological, and metaphysical. Strawson made every effort to take a realist stand in this debate and avoid antirealism in any of its forms; however, his realism is in many respects very moderate and not so distant from antirealism. Similarly moderate was his stand in the traditional debate about universals, constituting the topic of the third thread of the exchanges with Strawson. He claimed that universals exist, but at the same time emphasized that they are objects of pure thought alone and as such do not form a part of the spatiotemporal world in which we live. One cannot also say much about the relation of exemplification in virtue of which universals manifest themselves in the world as particular instances. Presentation and elaboration of these three threads has led to the conclusion that although Strawson was a deeply systematic thinker, he avoided wide-ranging and ambitious statements and radical views. In characteristically minimalist way he dispelled some questions, and the ultimate resolution of many crucial and fundamental issues were for him choice and taking a particular attitude or stance.
For Peter F. Strawson, transcendental arguments were an important part of his philosophical method, referred to as a connective analysis. Both Strawson and his critical commentators have devoted a lot of effort to determining the nature, scope and purpose of those arguments. In this text, I intend, first of all, to reconstruct and characterize the basic elements of transcendental argumentation, specifying its general form, features and purpose. Secondly, I reconstruct some of the most representative examples of this argumentation. Thirdly, I refer to the basic objections against transcendental arguments formulated in the literature. Finally, I point to a few peculiarities in those arguments, commonly omitted by commentators and interpreters. The overall message of the paper is moderately positive: transcendental arguments are a legitimate way of reasoning in philosophy, and in particular, they constitute a comprehensible and well-founded part of Strawson’s connective analysis.