Verification and Enforcement of Opacity Security Properties in Discrete Event Systems.

The need for stringent cybersecurity is becoming significant as computers and networks are integrated into every aspect of our lives. A recent trend in cybersecurity research is to formalize security notions and develop theoretical foundations for designing secure systems. In this dissertation, we address a security notion called opacity based on the control theory for Discrete Event Systems (DES). Opacity is an information-flow property that captures whether a given secret of the system can be inferred by intruders who passively observe the behavior of the system. Finite-state automata are used to capture the dynamics of computer systems that need to be rendered opaque with respect to a given secret. Under the observation of the intruder, the secret of the system is opaque if “whenever the secret has occurred, there exists another non-secret behavior that is observationally equivalent.” This research focuses on the analysis and the enforcement of four notions of opacity. First, we develop algorithms for verifying opacity notions under the attack model of a single intruder and that of multiple colluding intruders. We then consider the enforcement of opacity when the secret is not opaque. Specifically, we propose a novel enforcement mechanism based on event insertion to address opacity enforcement for a class of systems whose dynamics cannot be modified. An insertion function, placed at the output of the system, inserts fictitious observable events to the system’s output without interacting with the system. We develop a finite structure called the All-Insertion Structure (AIS) that enumerates all valid insertion functions. The AIS establishes a necessary and sufficient condition for the existence of a valid insertion function, and provides a structure to synthesize one insertion function. Furthermore, we introduce the maximum total cost and the maximum mean cost to quantify insertion functions. A condition for determining which cost objective to use is established. For each cost, we develop an algorithmic procedure for synthesizing an optimal insertion function from the AIS. Finally, our analysis and enforcement procedure is applied to ensuring location privacy in location-based services.PHDElectrical Engineering: SystemsUniversity of Michigan, Horace H. Rackham School of Graduate Studieshttp://deepblue.lib.umich.edu/bitstream/2027.42/108905/1/ycwu_1.pd

Phrasing Bimanual Interaction for Visual Design

Architects and other visual thinkers create external representations of their ideas to support early-stage design. They compose visual imagery with sketching to form abstract diagrams as representations. When working with digital media, they apply various visual operations to transform representations, often engaging in complex sequences. This research investigates how to build interactive capabilities to support designers in putting together, that is phrasing, sequences of operations using both hands. In particular, we examine how phrasing interactions with pen and multi-touch input can support modal switching among different visual operations that in many commercial design tools require using menus and tool palettes—techniques originally designed for the mouse, not pen and touch. We develop an interactive bimanual pen+touch diagramming environment and study its use in landscape architecture design studio education. We observe interesting forms of interaction that emerge, and how our bimanual interaction techniques support visual design processes. Based on the needs of architects, we develop LayerFish, a new bimanual technique for layering overlapping content. We conduct a controlled experiment to evaluate its efficacy. We explore the use of wearables to identify which user, and distinguish what hand, is touching to support phrasing together direct-touch interactions on large displays. From design and development of the environment and both field and controlled studies, we derive a set methods, based upon human bimanual specialization theory, for phrasing modal operations through bimanual interactions without menus or tool palettes

Seasat. Volume 2: Flight systems

Flight systems used in the Seasat Project are described. Included are (1) launch operation; (2) satellite performance after launch; (3) sensors that collected data; and (4) the launch vehicle that placed the satellite into Earth orbit. Techniques for sensor management are explained

Spacelab 3 Mission Science Review

Papers and abstracts of the presentations made at the symposium are given as the scientific report for the Spacelab 3 mission. Spacelab 3, the second flight of the National Aeronautics and Space Administration's (NASA) orbital laboratory, signified a new era of research in space. The primary objective of the mission was to conduct applications, science, and technology experiments requiring the low-gravity environment of Earth orbit and stable vehicle attitude over an extended period (e.g., 6 days) with emphasis on materials processing. The mission was launched on April 29, 1985, aboard the Space Shuttle Challenger which landed a week later on May 6. The multidisciplinary payload included 15 investigations in five scientific fields: material science, fluid dynamics, life sciences, astrophysics, and atmospheric science

Unidentified Verbal Objects: Contemporary French Poetry, Intermedia, and Narrative

This dissertation examines the vital experimental French poetry of the 1980s to the present. Whereas earlier twentieth century poets often shunned common speech, poets today seek instead to appropriate, adapt, and reorganize a wide variety of contemporary discourses. Narrative also reemerges both in hybridized writing fusing prose and verse and in sequences of digressions and anecdotes. Poetic form becomes specific to a given text as poets adapt techniques from other fields, such as the visual arts, and integrate a wide array of media into literary works. In recent pieces, poets such as Emmanuel Hocquard and Olivier Cadiot incorporate new media into works that move literature from the book to video and performance spaces. I argue that these new poetic activities challenge traditional definitions of poetry as lyrical expression through formal innovation and alternative concepts of identity and affect

Corporate Social Responsibility To-Come: A Derridean Interruption of Transparency

This study investigated the relation between rhetorics of transparency and organizational action. Digging into CSR literature from a philosophy of communication perspective, this project seeks to determine if corporate social responsibility delivers on the promises it makes of a better world. Drawing on the work of Jacques Derrida, the research first lays out his often overlooked contribution to the philosophy of communication, and then moves towards possible applications in deconstructing the perceived benefits of CSR, particularly in its transparent nature. By looking at organizational life from the Triple Bottom Line, this dissertation peels back the underlying rhetoric of planet, people, profit to discover an ethical project with gaps, fissures, and inconsistencies, in need of a future-oriented version that lives up to this challenge CSR sets out for itself in such precarious times

Unravelling revelation : the apocalypse in England, 1700-1834

This thesis argues that, while the Revelation of John claims to unveil reality, the interpretative structures built on the book are undermined by its own rhetoric. A historical examination of its use shows the fragility of hermeneutics, but also the power of the 'apocalyptic tone' to engender new unveilings. The first chapter presents the Apocalypse as a book constantly inviting but constantly confounding interpretation, refusing to fit conventional generic definitions or reading strategies. The next two chapters show the book's continuing prominence in eighteenth-century England after its pivotal role in the Reformation. First - writers such as Isaac Newton and William Whiston - it serves as rationalistic evidence for God's providence, as well as giving encouragement to moral 'usefulness' and to the reformation of Christianity. Secondly, its imagery reinforces the more individualistic appeal of the Wesley's preaching and hymns. But it is only with the French Revolution (treated in Chapter 4) that the Apocalypse recovers political immediacy, as seen in both radical millenarian writers like Priestley and Bicheno and in conservative ones like Burke and G.S. Faber. The Romantic period also saw a revival of prophetic and visionary writing, and for many poets John of Patmos was a guiding spirit. Coleridge, the subject of Chapter 5, moved from the millenarian declamation of 'Religious Musings' and the fragmented vision of 'Kubla Khan' to an attempt to interpret the Apocalypse as symbolic representation of polar logic and moral order

American Experiments: Science, Aesthetics, and Politics in Clinical Practices of Twentieth-Century American Literature

<p>This dissertation is concerned with the relationships between experiments in literature, science, and politics in twentieth-century United States culture. I argue that the three can be considered together by understanding "experimentation" as a set of processes rather than a method, and highlighting the centrality of writing and reading to experiments in all three arenas. Drawing on scientist Ludwik Fleck's concept of "valuable experiments," I read specific experiments in each field in conversation with the others, highlighting the ways in which science and politics require aesthetic structures, the ways in which science and literature reconfigure politics, and the ways in which politics and literature can intervene in and reconfigure scientific practices. Ultimately, I try to develop a reading practice that can make visible the shared transformative capacities of science, literature, and radical politics.</p><p>In the course of three chapters, I analyze the formal and conceptual innovations of writers such as William Burroughs, Ralph Ellison, and Carson McCullers, who were intimately affected by the uses of experimental science in corrective institutional practice. In doing so, I develop a concept of "experimental literature" that is distinct from avant-garde literature and can account for the investments that these writers share with scientists such as Albert Hofmann, Albert Einstein, and Margaret Mead. I argue that experimental writers denature literary genres that depend on coherent subjects, transparent reality, and developmental progress in order to disrupt similar assumptions that underpin positivist science. By understanding valuable experimental science and writing as continuous challenges to standardized scientific knowledge, I show how these writers contribute to ongoing radical social projects of queer and black radical traditions--such as those of George Jackson and the Combahee River Collective--which are grounded in knowledge as an aesthetic and political practice.</p>Dissertatio