670 research outputs found
Abstracts of Theses on the Gifted Child Done between 1923 and 1957 at Boston University and Columbia University
Thesis (M.Ed.)--Boston Universit
Alien Registration- Ramsdell, Ethyl J. (Presque Isle, Aroostook County)
https://digitalmaine.com/alien_docs/33592/thumbnail.jp
A Hybrid Analysis for Security Protocols with State
Cryptographic protocols rely on message-passing to coordinate activity among
principals. Each principal maintains local state in individual local sessions
only as needed to complete that session. However, in some protocols a principal
also uses state to coordinate its different local sessions. Sometimes the
non-local, mutable state is used as a means, for example with smart cards or
Trusted Platform Modules. Sometimes it is the purpose of running the protocol,
for example in commercial transactions.
Many richly developed tools and techniques, based on well-understood
foundations, are available for design and analysis of pure message-passing
protocols. But the presence of cross-session state poses difficulties for these
techniques.
In this paper we provide a framework for modeling stateful protocols. We
define a hybrid analysis method. It leverages theorem-proving---in this
instance, the PVS prover---for reasoning about computations over state. It
combines that with an "enrich-by-need" approach---embodied by CPSA---that
focuses on the message-passing part. As a case study we give a full analysis of
the Envelope Protocol, due to Mark Ryan
Observation of fine one-dimensionally disordered layers in silicon carbide
The improved resolution of synchrotron edge-topography is enabling thinner (less than 100 microns), silicon carbide crystals to be studied, and is providing a more detailed and wider database on polytype depth profiles. Fine long-period and one-dimensionally-disordered layers, 5-25 microns thick, can now be confidently resolved and are found to be very common features, often in association with high-defect density bands. These features are illustrated in this paper using three examples. A new long period polytype LPP (152H/456R) has been discovered and reported here for the first time
- …