Integrity-Enhanced Verification Scheme for Software-Intensive Organizations.

Wen-Kui Chang Chun-Yuan Chen

Published in: ATVA (2004)

Keyphrases

information systems
decision making
information technology
model checking
integrity verification
organizational learning
fragile watermarking scheme
database
representation scheme
competitive advantage
databases
face recognition
genetic algorithm
formal verification
secret sharing scheme
high assurance
data sets