Glossary

Filter:
# A B C D E F G H I J K L M N O P Q R S T U V W X Y Z All
I
I&A
I/O
IAC
Ice
ICU
IDN
IDS
IFF
II
IIS
IKE
ILS
IM
IMP
IN
Inc
INF
IOC
IP
IPC
IPM
IRC
IRK
IRM
IS
ISM
ISO
ISS
IT
ITF
ITM
ITS
Ina Jo (formal Development Methodology)
  • System Development Corporation's specification and verification methodology, based on a nonprocedural state-transition specification language, Ina Jo. The Ina Jo methodology incorporates user-supplied invariants to produce a formal demonstration that security properties are met. (MTR-8201;)