𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Methodology for security analysis of data-processing systems

✍ Scribed by John M. Carroll; Oi-Lun Wu

Publisher
Elsevier Science
Year
1983
Weight
129 KB
Volume
1
Category
Article
ISSN
0167-7136

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Data security in information systems by
Data security in information systems by language analysis
✍ H.P. Meinzer; B. Sandblad πŸ“‚ Article πŸ“… 1979 πŸ› Elsevier Science βš– 412 KB

The paper describes how a language analyser (parser) is used as interface between a user and the functions of an information system. A specific user is at log-on forced into a sublanguage analyser, which only recognizes statements relevant to this specific user. Every attempt to use non-allowed func

Using Petri-nets for data processing sys
Using Petri-nets for data processing systems analysis and synthesis
✍ V.V. Kulba; A.R. Shvetsov πŸ“‚ Article πŸ“… 1991 πŸ› Elsevier Science 🌐 English βš– 550 KB

Kulba, V.V. and A.R. Shvetsov, Using Petri-nets for data processing systems analysis and synthesis, Mathematics and Computers in Simulation 33 (1991) 317-321. The article deals with some problems connected with analysis and synthesis of Data Processing Systems under time criteria. Modelling of a DPS

An advanced methodology for steady-state
An advanced methodology for steady-state security assessment of power systems
✍ D. P. Popovic; D. M. Dobrijevic; N. A. Mijuskovic; D. J. Vlaisavljevic πŸ“‚ Article πŸ“… 2001 πŸ› John Wiley and Sons 🌐 English βš– 922 KB

## Abstract The basic objective of this paper is to present the relevant aspects of an advanced methodology for steady‐state security assessment of power systems. This methodology consists of the following relevant parts: procedure for forming the unified external network equivalents, with adaptive