Daniel Dougherty – författare

This Festschrift was published in honor of Joshua Guttman on the occasion of his 66.66 birthday. The impact of his work is reflected in the 23 contributions enclosed in this volume.Joshua’s most influential and enduring contribution to the field has been the development of the strand space formalism for analyzing cryptographic protocols. It is one of several “symbolic approaches” to security protocol analysis in which the underlying details of cryptographic primitives are abstracted away, allowing a focus on potential flaws in the communication patterns between participants. His attention to the underlying logic of strand spaces has also allowed him to merge domain-specific reasoning about protocols with general purpose, first-order logical theories. The identification of clear principles in a domain paves the way to automated reasoning, and Joshua has been a leader in the development and distribution of several tools for security analysis.

This Festschrift was published in honor of Joshua Guttman on the occasion of his 66.66 birthday. The impact of his work is reflected in the 23 contributions enclosed in this volume.

Joshua’s most influential and enduring contribution to the field has been the development of the strand space formalism for analyzing cryptographic protocols. It is one of several “symbolic approaches” to security protocol analysis in which the underlying details of cryptographic primitives are abstracted away, allowing a focus on potential flaws in the communication patterns between participants. His attention to the underlying logic of strand spaces has also allowed him to merge domain-specific reasoning about protocols with general purpose, first-order logical theories. The identification of clear principles in a domain paves the way to automated reasoning, and Joshua has been a leader in the development and distribution of several tools for security analysis.

The 19th Century British novel continues to delight readers and populate syllabi of survey courses as well as specialized electives. Because there is such a tremendous volume of literature that emerged from England during this century, this volume offers a guided, chronological tour through the century, featuring authors including Charles Dickens, George Eliot, Joseph Conrad, and many more. This volume is meant to provide a reading list for students and educators interested in these texts, including excerpts, images (some of which are taken from the novels themselves), external online resources, and appendices. In addition, this volume features links to essays by 19th century authors contemplating their own work and position in their moment, as well as suggested reading lists for contemporary scholarship on the novel broadly construed. As an educational resource, this volume contains many of the tools and texts that are important for new readers of the 19th century British novel as well as educators building survey courses or specialized electives with an eye towards accessibility and convenience.

The 19th Century British novel continues to delight readers and populate syllabi of survey courses as well as specialized electives. Because there is such a tremendous volume of literature that emerged from England during this century, this volume offers a guided, chronological tour through the century, featuring authors including Charles Dickens, George Eliot, Joseph Conrad, and many more. This volume is meant to provide a reading list for students and educators interested in these texts, including excerpts, images (some of which are taken from the novels themselves), external online resources, and appendices. In addition, this volume features links to essays by 19th century authors contemplating their own work and position in their moment, as well as suggested reading lists for contemporary scholarship on the novel broadly construed. As an educational resource, this volume contains many of the tools and texts that are important for new readers of the 19th century British novel as well as educators building survey courses or specialized electives with an eye towards accessibility and convenience.