Assessing the security of a mission-critical software system
Explore the source record for details and available documents.
model checking security verification↗
Engineering topics
Bishop, D.
Publications and source records attributed to Bishop, D..
Reducing software security risk through an integrated approach
Explore the source record for details and available documents.
model checking security verification↗
Statistical Analysis of Interference Between Earth Stations and Earth-Orbiting Satellites
Determination of the potential for radio frequency interference between Earth stations and orbiting spacecraft is often desirable. This information can be used to select frequencies for radio systems to avoid interference or it can be used to determine if coordination between radio systems is necessary. Also, it is useful for planning emission standards and filtering requirements for future telecommunications equipment. A model is developed that will determine the statistics of interference between Earth stations and elliptical orbiting spacecraft. The model uses orbital dynamics, detailed antenna patterns, and spectral characteristics to obtain accurate levels of interference at the victim receiver. The model is programmed into a computer simulation to obtain long term statistics of interference.
satellite communications interference geometry↗
Contribution Towards a Draft Revision of Recommendation 681 Propogation Data Required for the Design of Earth-Space Land Mobile Telecommunications Systems
Propogation models that can be used for the design of Earth-space land mobile-satellite telecommunications systems are presented. These models include: empirical roadside shadowing, attenuation frequency scaling, fade and non-fade duration distribution, multipath in a mountain environment, and multipath in a roadside tree environment. Propogation data from helicopter-mobile and satellite-mobile measurements in Australia and the United States were used to develop the models.
propogation propogation models satellite telecommu↗
Conformal step coverage of electron beam-assisted CVD of SiO2 and Si3N4 films
Explore the source record for details and available documents.
Thompson, L. R.↗