Evaluation of tamper-resistant software deviating from structured programming rules

DOI10.1007/3-540-47719-5_13MaRDI QIDQ3149722zbMATH OpenFDO

Authors Hideaki Goto, Masahiro Mambo, Hiroki Shuzuya, Yasuyoshi Watanabe

Publication date 26 September 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2119/21190145

Mathematics Subject Classification ID

Theory of software (68N99) Data encryption (aspects in computer science) (68P25) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2080171
• Tamper-Tolerant Software: Modeling and Implementation
• Information Security
• Towards a Generic Framework for Trustworthy Program Refactoring
• Product programs in the wild: retrofitting program verifiers to check information flow security
• scientific article; zbMATH DE number 4020467
• On correcting the intrusion of tracing non-deterministic programs by software

Cited in

(3)

• Verification of programs that destructively manipulated data
• Is Your Software on Dope?
• scientific article; zbMATH DE number 2080171 (Why is no real title available?)

This page was built for publication: Evaluation of tamper-resistant software deviating from structured programming rules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3149722)