Operational semantics and verification of security protocols

Book published by Springer-Verlag (2012)

Security protocols are widely used to ensure secure communications over insecure networks, such as the internet or airwaves. These protocols use strong cryptography to prevent intruders from reading or ... [more ▼]

Security protocols are widely used to ensure secure communications over insecure networks, such as the internet or airwaves. These protocols use strong cryptography to prevent intruders from reading or modifying the messages. However, using cryptography is not enough to ensure their correctness. Combined with their typical small size, which suggests that one could easily assess their correctness, this often results in incorrectly designed protocols. The authors present a methodology for formally describing security protocols and their environment. This methodology includes a model for describing protocols, their execution model, and the intruder model. The models are extended with a number of well-defined security properties, which capture the notions of correct protocols, and secrecy of data. The methodology can be used to prove that protocols satisfy these properties. Based on the model they have developed a tool set called Scyther that can automatically find attacks on security protocols or prove their correctness. In case studies they show the application of the methodology as well as the effectiveness of the analysis tool. The methodology’s strong mathematical basis, the strong separation of concerns in the model, and the accompanying tool set make it ideally suited both for researchers and graduate students of information security or formal methods and for advanced professionals designing critical security protocols. [less ▲]

Normal approximations with Malliavin calculus

Book published by Cambridge University Press (2012)

L'écologie des langues de contact : Le tayo, créole de Nouvelle-Calédonie

Book published by L’Harmattan (2012)

Le Pacifique Sud fait partie des régions du monde qui montrent une très grande richesse linguistique et il est considéré comme un laboratoire d’excellence pour la recherche sur les langues de contact et ... [more ▼]

Le Pacifique Sud fait partie des régions du monde qui montrent une très grande richesse linguistique et il est considéré comme un laboratoire d’excellence pour la recherche sur les langues de contact et la gestion de la diversité linguistique et culturelle. En se basant sur l’exemple du tayo de Saint-Louis, langue créole née sur les terres de la Mission catholique en Nouvelle-Calédonie à partir de 1860, Sabine Ehrhart démontre l’importance de la matrice sociale pour la genèse de cette langue de contact et donne des éclairages plus généraux autour de l’origine des langues et du langage. [less ▲]

Η έννοια της επίθεσης στο Διεθνές Δίκαιο

Book published by Sakkoulas Publications (2012)

The commission of aggressive wars is now forbidden by both customary and conventional International Law. Additionally, aggression itself constitutes a crime under International Criminal Law. After the ... [more ▼]

The commission of aggressive wars is now forbidden by both customary and conventional International Law. Additionally, aggression itself constitutes a crime under International Criminal Law. After the Second World War, aggression was universally condemned as the most serious international crime, nonetheless, its definition as a crime was only achieved in June 2010 at the Review Conference of the International Criminal Court. In the preamble of UN Charter, the ‘saving of succeeding generations from the scourge of war’ is set as the cornerstone of the UN’s foundation, however, until 2010, the international community had not achieved (nor had it demonstrated the will to agree on) a legally binding definition of aggression. The research for this dissertation was undertaken as a response to this peculiar finding. This thesis presents the evolution of the definition of aggression through the processes undertaken at the international level (both from the standpoint of state responsibility and of individual criminal responsibility) rather than examining the jus ad bellum, i.e. the requirements for the lawful use of armed force by states. In order to follow the distinction of the definition based on the criterion of liability, the thesis is divided into two main parts. The first part discusses the evolution of the concept of aggression in the context of state responsibility, culminating with the adoption of Resolution 3314 (XXIX) / 12.14.1974 of the General Assembly on the Definition of Aggression. The second part deals with aggression as a crime which carries individual criminal responsibility. It begins at Nuremberg and ends with an analysis of the definitional procedures and of the definition of aggression that was adopted in framework of the International Criminal Court. The analysis of these elements was performed with a combined methodology. A qualitative research method was employed in order to examine the content of different sources. Scarce case-studies were examined for the illustration of the historical events that took place mainly during the early attempts of the international community to denounce war. Additionally, a quantitative research method was used to determine the intent of the international community to define aggression (e.g., how many states voted in favor or against in every definitional procedure) and finally, the utilization of a narrative analysis when referring to historical events. Though the prohibition of aggression represents one of the most important rules of International Law, its application has not yet been fully embedded into the practice of states since they continue to commit aggressive acts, often defining their actions under different legal terms such as ‘self defense.’ Therefore, rather than actually deterring war, the legal rule of the prohibition of aggression has simply contributed to the renunciation of the term as demonstrated by the fact that very seldom do states now declare war officially. As stated eloquently by Benjamin Ferencz, ‘(…) it is seemingly easier to evoke aggression than to dispel it, and easier to commit aggression than to define it (…)’. The thesis concludes that the definition of aggression can and should be implemented as long as the different nature of the international organs that respond to aggression (specifically, the Security Council and the International Criminal Court) is understood. By itself, the prosecution of the crime of aggression by the International Criminal Court will not prevent the commission of wars or other serious international crimes. Nonetheless, in this process that began early last century, the application of the definition of aggression and the prosecution of the crime will still represent a significant accomplishment in humanity’s attempts to prevent and outlaw war. [less ▲]

Menschenrechte und moderne Verfassung. Die Schweiz im Übergang vom 18. zum 19. Jahrhundert Akten des Kolloquiums an der Universität Freiburg/Schweiz, 18.-20. November 2010

Book published by Slatkine (2012)

Ce volume est consacré à l’histoire des droits de l’homme en Suisse au tournant des XVIIIe et XIXe siècles. En comparaison avec les recherches de Lynn Hunt sur les origines des premières déclarations des ... [more ▼]

Ce volume est consacré à l’histoire des droits de l’homme en Suisse au tournant des XVIIIe et XIXe siècles. En comparaison avec les recherches de Lynn Hunt sur les origines des premières déclarations des droits de l’homme ou avec la généalogie des droits de l’homme de Hans Joas, par exemple, cette publication s’inscrit dans des cadres chronologique et géographique restreints. Grâce à une approche interdisciplinaire du sujet, elle conduit parfois à des résultats surprenants, qui remettent en cause le classement traditionnel des droits de l’homme en « générations » consécutives. La particularité de ce volume est de ne pas se limiter à aborder les droits de l’homme et les constitutions modernes à travers la perspective des anciennes et nouvelles élites politiques. Les contributions traitent également des problèmes liés à l’application de principes constitutionnels abstraits dans une période de bouleversements révolutionnaires, ainsi que de l’usage des droits de l’homme par les populations rurales et citadines. [less ▲]

Das politische Begehren Gottes. Studie über die Montagen des Staates und des Rechts

Book published by Turia & Kant (2012)

Simon Dubnow: Jüdische Geschichte – für Kinder erzählt. Hg. von Marion Aptroot, aus dem Jiddischen von Jutta Schumacher.

Book published by Vandenhoeck & Ruprecht (2012)

Van parochiezaal tot wereldnetwerk: 25 jaar C.V. Varkenszorg

Book published by Centrum voor Agrarische Geschiedenis (2012)

La société: contrat ou institution? Droits étasunien, français, belge, néerlandais, allemand et luxembourgeois

Book published by Larcier (2011)

La société est-elle un contrat ou une institution ? S'exprimant au niveau des sociétés privées (civiles et commerciales), cette question revient à s'interroger sur leur finalité : celles-ci doivent-elle ... [more ▼]

La société est-elle un contrat ou une institution ? S'exprimant au niveau des sociétés privées (civiles et commerciales), cette question revient à s'interroger sur leur finalité : celles-ci doivent-elle veiller à servir exclusivement les intérêts des associés (shareholders) ou doivent-elles prendre également en compte les autres intérêts (stakeholders) impliqués dans l'aventure sociétaire ? S'agissant plus spécifiquement des sociétés anonymes cotées, cette question pose celle de leur appréhension soit comme un ensemble de titres soumis aux fluctuations des marchés financiers soit comme une entreprise s'inscrivant dans une vision à long terme. Le présent ouvrage se penche sur cette question selon une double perspective : approche pluridisciplinaire : la question est abordée non seulement en droit mais aussi en économie et en sociologie, sans oublier les enseignements de l'histoire ; analyse en droit comparé : le droit des États-Unis, où s'est construite l'approche dite "contractarienne" contemporaine, est tout d'abord comparé au droit français, traditionnellement associé à une approche dite "institutionnelle". Les droits belge, néerlandais, allemand et luxembourgeois sont examinés ensuite. La conclusion de l'ouvrage est que la fonction du droit consiste à préserver l'ouverture de ce débat. En effet tant l'approche contractarienne que l'approche institutionnelle dans leurs versions "pures" aboutissent à une vision absolutiste de la société, laquelle apparaît inconciliable avec le maintien d'un ordre juridique démocratique. [less ▲]

Generic Inference A Unifying Theory for Automated Reasoning

Book published by John Wiley & Sons (2011)

This book provides a rigorous algebraic study of the most popular inference formalisms with a special focus on their wide application area, showing that all these tasks can be performed by a single ... [more ▼]

This book provides a rigorous algebraic study of the most popular inference formalisms with a special focus on their wide application area, showing that all these tasks can be performed by a single generic inference algorithm. Written by the leading international authority on the topic, it includes an algebraic perspective (study of the valuation algebra framework), an algorithmic perspective (study of the generic inference schemes) and a "practical" perspective (formalisms and applications). Researchers in a number of fields including artificial intelligence, operational research, databases and other areas of computer science; graduate students; and professional programmers of inference methods will benefit from this work. [less ▲]

Heinrich von Kleist. Sämtliche Briefe, Neuausgabe

Book published by Reclam (2011)

Choreografien des Selbst. Studien zur institutionellen Dimension von Literalität

Book published by Turia+Kant (2011)

Wiener chaos: moments, cumulants and diagrams

Book published by Springer (2011)

Settlement of Investment Disputes under the Energy Charter Treaty

Book published by Cambridge University Press (2011)

STAST 2011 Proc. of the 1st Workshop on Socio-Technical Aspects in Security and Trust

Book published by IEEE (2011)

Laurent Menager (1835-1902). Kritische Gesamtausgabe, Abteilung I: Vokalwerke, Band 1: Messen für gemischten Chor

Book published by Merseburger (2011)

Laurent Menager (1835-1902). Systematisches und kommentiertes Werkverzeichnis

Book published by Margraf (2011)

Conditionals and Modularity in General Logics

Book published by Springer (2011)

Expertise und diagnostische Urteilsbildung: Ein sozial-kognitiver Ansatz

Book published by Kovac (2011)

Improving learning through the lifecourse: Learning lives.

Book published by Routledge (2011)

Learning democracy in school and society: Education, lifelong learning and the politics of citizenship.

Book published by Sense Publishers (2011)

Johann Heinrich Pestalozzi. Écrits sur la Méthode. Volume IV – La Méthode à l'épreuve de l'expertise officielle

Book published by LEP Editions Loisirs et Pédagogie (2011)

Jean Rouaud et l’écriture « les yeux clos ». De la mémoire engagée à la mémoire incarnée

Book published by L’Harmattan (2011)

Ce second ouvrage consacré à Jean Rouaud et à son œuvre se propose d'accompagner le lecteur au fil du périple que poursuit l'auteur-narrateur durant vingt et une années d'écriture, des "Champs d'honneur ... [more ▼]

Ce second ouvrage consacré à Jean Rouaud et à son œuvre se propose d'accompagner le lecteur au fil du périple que poursuit l'auteur-narrateur durant vingt et une années d'écriture, des "Champs d'honneur", premier roman récompensé par le prix Goncourt en 1990, à "Comment gagner sa vie honnêtement. La vie poétique, 1", paru en 2011. Le travail de la mémoire constitue le fil conducteur de cette analyse, et son évolution au cours des deux dernières décennies délimite clairement trois époques. La première s'appuie sur un travail de remémoration qui engage l'auteur-narrateur dans une recherche de ses racines afin de construire son identité, préalable nécessaire à l'acceptation de son statut d'écrivain. Or ce travail sur soi est si intime, si ardu et douloureux, que la mémoire finit par s'incarner littéralement dans l’œuvre - qu'il s'agisse des thèmes abordés ou du souffle de l'écriture - pour alimenter la source de la mythologie roualdienne. Ce deuxième cycle qui consacre la libération de l'écrivain s'accompagne également d'une quête spirituelle, dont l'aspiration est l'accomplissement de l'alliance, au cœur de l’œuvre d'art, de l'amour, du beau et du bien. Dès lors, dans un troisième cycle qui désire embrasser toute une vie de création, Jean Rouaud peut jeter sur les années vécues un regard rétrospectif, sinon apaisé, du moins éclairé. [less ▲]

Online-Erhebungen mit EFS Survey - Ein Überblick über grundlegende Funktionen des Erhebungsprogrammes

Book published by GRIN (2011)

Laurent Menager (1835-1902) Messe in G-Dur für gemischten Chor (Chorpartitur, Aufführungsmaterial)

Book published by Merseburger (2011)

Laurent Menager (1835-1902) Messe in F-Dur "Deutsche Messe" für gemischten Chor (Chorpartitur, Aufführungsmaterial)

Book published by Merseburger (2011)

Laurent Menager (1835-1902) Messe in F-Dur für gemischten Chor (Chorpartitur, Aufführungsmaterial)

Book published by Merseburger (2011)

Clones of partial functions on finite sets.

Book published by Aachen: Shaker Verlag; Rostock: Univ. Rostock, Mathematisch-Naturwissenschaftliche Fakultät (Diss. 2010) (2011)

Transatlantic Perspectives on Administrative Law

Book published by Bruylant (2011)

The Palgrave Handbook of Childhood Studies

Book published by Palgrave Macmillan (2011)

Rundfunkstaatsvertrag – Kommentar

Book published by Rehm (2011)

Muslime in der Psychotherapie – Ein kultursensibler Ratgeber

Book published by Vandenhoeck & Ruprecht (2011)

58. Les gants de Charly Gaul. Le champion face au mythe de ‘l’ange de la montagne’. Tentative de lecture de ses aveux et non-dits

Book published by Imprimerie de l'Est (2011)

Droit international de l'execution

Book published by LGDJ (2011)

Heinrich von Kleist. Leben – Werk – Wirkung.

Book published by Suhrkamp (2011)

The Hour of Europe: Western Powers and the Breakup of Yugoslavia

Book published by Yale University Press (2011)

Participation in EU Rulemaking. A Rights-based Approach

Book published by Oxford University Press - 1st edition (2011)

The book is a critical legal analysis of the current scope of participation rights in EU law, embedded in the political and institutional contexts of European integration. Participation has featured ... [more ▼]

The book is a critical legal analysis of the current scope of participation rights in EU law, embedded in the political and institutional contexts of European integration. Participation has featured prominently in recent institutional and political developments that have been shaping the EU's constitutional framework — most intensely in the follow up of the Commission's White Paper on Governance. Yet, little attention has been paid to participation rights as a means of ensuring the procedural protection of persons affected by EU regulation in its diverse forms. Both the EU legislator and the EU Courts have largely ignored this dimension of the rule of law. This book shows why the current judicial and legislative conceptions are inadequate to ensure the legal protection of rights and interests affected by EU regulation. It defends that current conceptions reflect an excessively formalistic approach to participation rights — premised on the right to be heard in individual procedures — as well as a restrictive view regarding the relationships between the citizens and the administration. The book combines a conceptual analysis with an empirical scrutiny of three EU policy fields — food, state aid and financial services — and assesses the scope of participation rights in EU law against their rationales and underlying legal values. It makes a case for the extension of participation rights to new situations and new types of procedures, in particular those that would generally fall within the category of rulemaking. It thereby brings distinct normative insights into a crucial theme of EU administrative law. [less ▲]

De la mer du Nord à la Méditerranée Francia Media. Une région au coeur de l'Europe (c.840-c.1050)

Book published by CLUDEM (2011)

Le traité de Verdun de 843 mit fin à plusieurs années de guerres fratricides entre les trois fils de Louis le Pieux. Il consacra la partition de l’Empire carolingien en trois royaumes : la Francie ... [more ▼]

Le traité de Verdun de 843 mit fin à plusieurs années de guerres fratricides entre les trois fils de Louis le Pieux. Il consacra la partition de l’Empire carolingien en trois royaumes : la Francie occidentale et la Francie orientale qui évolueront au cours des siècles pour former respectivement les royaumes de France et de Germanie, encadrant une partie centrale, s’étendant de la Frise à l’Italie, dont hérita Lothaire, l’aîné des fils de Louis le Pieux, également détenteur du titre impérial. L’empereur Lothaire Ier régna pendant douze ans sur cet espace hétérogène, comprenant Aix-la-Chapelle, la « capitale » de Charlemagne et de Louis le Pieux, et s’étendant jusqu’à Rome et aux États pontificaux. Ce royaume dénommé, faute de mieux, « Francie médiane » eut une existence éphémère en tant qu’espace politique unifié car dès le décès de Lothaire (855), il fut scindé en plusieurs entités : les royaumes de Charles de Provence et de Louis d’Italie au Sud, et le royaume de Lothaire II, qui deviendra la Lotharingie, au Nord. Ces trois États entrèrent progressivement dans l’orbite de la Francie orientale, pour devenir parties intégrantes de l’Empire germanique. Le présent volume rassemble les Actes d’un colloque international qui a réuni en février 2006 à Metz, Luxembourg et Trèves des médiévistes, historiens des textes, archéologues et philologues afin d’aborder, dans une perspective interdisciplinaire, l’histoire politique, institutionnelle, économique et sociale de la Francia Media, espace central européen. Alternant exposés thématiques, synthèses régionales et études de cas, tenant compte des avancées récentes de l’historiographie (par exemple sur les notions de constructions identitaires ou d’espace), ce volume dresse un état des connaissances sur la Francia Media et les royaumes qui en sont issus, du milieu du IXe au milieu du XIe siècle. Il constitue de ce fait une contribution originale à l’étude du monde carolingien et à l’histoire du Moyen Âge occidental. [less ▲]

Lepra und Leprosorien im rheinischen Raum vom 12. bis zum 18. Jahrhundert

Book published by Porta Alba Verlag (2011)

In the Middle Ages and early modern times, leprosy was a widespread disease. Leprosories served for the special accommodation of leprosy patients. In the Rhineland, a total of 190 leprosories can be ... [more ▼]

In the Middle Ages and early modern times, leprosy was a widespread disease. Leprosories served for the special accommodation of leprosy patients. In the Rhineland, a total of 190 leprosories can be documented from the first documentary mention of a leprosarium in 1180 until the extinction of leprosy in the 18th century. The study is focused on questions concerning the economic, social and organisational development status of these institutions. In addition, the living habits of leprosy patients as well as their legal and social status are also in focus. Finally, the question of the decline of leprosy and the final disappearance of the disease at the beginning of the 18th century is investigated. Above all, the consequences of the decline will be examined in more detail, first under-occupancy, then decay, dissolution or misappropriation of leprosories. A large-format map is used to analyse the results in terms of their spatial reference, allowing a chronologically differentiated picture of leprosories in the Rhineland between the 12th and 18th centuries. Four further maps illustrate spatially related individual aspects. [less ▲]

Comparing Special Education: Origins to Contemporary Paradoxes

Book published by Stanford University Press (2011)

In today’s schools, the number of students who receive additional resources to access the curriculum is growing rapidly. The ongoing expansion of special education is among the most significant worldwide ... [more ▼]

In today’s schools, the number of students who receive additional resources to access the curriculum is growing rapidly. The ongoing expansion of special education is among the most significant worldwide educational developments of the past century. Yet even among developed democracies the range varies hugely,from one student in twenty to one student in three receiving special education support and services. In contemporary conflicts about educational standards and accountability, special education plays a key role as it draws the boundaries between exclusion and inclusion.Comparing Special Education unites in-depth comparative and historical studies with analyses of global trends, with a particular focus on special and inclusive education in the United States, England, France, and Germany. The authors examine the causes and consequences of various institutional and organizational developments, illustrate differences in forms of educational governance and policy priorities, and highlight the evolution of social logics from segregation of students with special educational needs to their inclusive education in local schools. [less ▲]

L’action extérieure de l’Union européenne, Fondements, Moyens, Principes

Book published by LGDJ (2010)

The book studies the role of the European Union as an international global actor. The specific external competences of the Union interfere through the coherence requirement and the global approach of the ... [more ▼]

The book studies the role of the European Union as an international global actor. The specific external competences of the Union interfere through the coherence requirement and the global approach of the external objectives according to the Lisbon Treaty. The obligation of loyal cooperation reinforces the unity of the external action of the Union and its Member States, and the respect of international law favours its credibility. The first part of the book studies the external action of the Union from the perspective of the principle of conferral, while the second part emphasises the legal basis of the effectiveness of the external action allowing the Union to be considered as a credible and influent global actor. [less ▲]

Multilingualism and Mother Tongue in Medieval French, Occitan and Catalan Narratives

Book published by Pennsylvania State University Press - 1st ed. (2010)

This monograph examines the gap between multilingualism and the idea of a mother tongue in a series of narrative texts of the 13th to the 15th centuries. The texts include hybrid idioms mixing literary ... [more ▼]

This monograph examines the gap between multilingualism and the idea of a mother tongue in a series of narrative texts of the 13th to the 15th centuries. The texts include hybrid idioms mixing literary languages (Occitan, Catalan, French and Veneto) and genres (prose, verse and prosimetrum). A significant number of these narratives tell the tale now known as 'Sleeping Beauty' and address gendered questions of consent and autonomy. [less ▲]

Grundkurs der Regelungstechnik: Einführung in die praktischen und theoretischen Methoden

Book published by Oldenbourg Wissenschaftsverlag - 16. Aufl. (2010)

Sämtliche Briefe an Pestalozzi. Kritische Ausgabe. Band 2: 1805-1809

Book published by NZZ Libro (2010)

Kein neues Theater mit alter Theorie. Stationen der Dramentheorie von Aristoteles bis Heiner Müller

Book published by Aisthesis (2010)

Handbuch Medienrecht: Recht der elektronischen Massenmedien

Book published by Verlag Recht und Wirtschaft (2010)

Das Handbuch stellt umfassend die rechtlichen Rahmenbedingungen für die elektronischen Massenmedien dar. Der Schwerpunkt liegt im Rundfunkrecht, daneben werden die Medien- und Teledienste behandelt sowie ... [more ▼]

Das Handbuch stellt umfassend die rechtlichen Rahmenbedingungen für die elektronischen Massenmedien dar. Der Schwerpunkt liegt im Rundfunkrecht, daneben werden die Medien- und Teledienste behandelt sowie im Überblick die relevanten Bezüge zum Telekommunikationsrecht. Berücksichtigt werden die besonders praxisrelevanten zivilrechtlichen Probleme: Werberecht, Medienurheberrecht, Ansprüche der Medienunternehmen und der von der Medienberichterstattung betroffenen Privatpersonen. Technische Grundlagen der Medien werden leicht verständlich erläutert. Viele Beispiele aus der Praxis runden das Handbuch ab. Die Neuauflage berücksichtigt die jüngsten gesetzlichen Änderungen, insbesondere den 12. und 13. Rundfunkänderungsstaatsvertrag. Zudem werden in einem neuen Kapitel die Rahmenbedingungen für die Internet-Activity-Regulierung behandelt. [less ▲]

Democracy and the Intersection of Religion and Traditions The Reading of John Dewey's Understanding of Democracy and Education

Book published by McGill-Queen's University Press (2010)

Sens et symboles en Mathematiques: Etude de l'utilisation du signe "moins" dans les réductions polynomiales et la résolution d'équeations du premier degré à une inconnue.

Book published by Peter Lang (2010)

Les travaux presentes dans ce livre trouvent leur origine dans la problematique des nombres negatifs dont les difficultes d'apprentissage sont bien connues.

Jacques Rancière: Education, truth, emancipation

Book published by Continuum (2010)

Group methods of data processing

Book published by Lulu. com (2010)