scientific article; zbMATH DE number 1808257

MaRDI QIDQ3149722zbMATH OpenFDO

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

Publication date 26 September 2002

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
• scientific article; zbMATH DE number 1759991

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:

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