Mathematical models of computer security

DOI10.1007/3-540-45608-2_1MaRDI QIDQ4798025zbMATH OpenFDO

Authors Peter Y. A. Ryan

Publication date 18 March 2003

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/2171/21710001.htm

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Communicating Sequential Processes. The First 25 Years
• Foundations of Security Analysis and Design II
• Non-interference through determinism
• A comparison of semantic models for noninterference
• Trustworthy Global Computing

Cited in

(17)

• CoCon: a conference management system with formally verified document confidentiality
• Classification of security properties in a Linda-like process algebra
• Mathematical and computer modelling in information system security
• On intransitive non-interference in some models of concurrency
• Timing-Sensitive Noninterference through Composition
• scientific article; zbMATH DE number 2100573 (Why is no real title available?)
• Interleaving vs True Concurrency: Some Instructive Security Examples
• scientific article; zbMATH DE number 7120872 (Why is no real title available?)
• Non-interference notions based on reveals and excludes relations for Petri nets
• Communicating Sequential Processes. The First 25 Years
• Mathematics in Cyber Research
• Foundations of Security Analysis and Design II
• A comparison of semantic models for noninterference
• On integrating confidentiality and functionality in a formal method
• Non-interference through determinism
• Securing interaction between threads and the scheduler in the presence of synchronization
• Integration of a security type system into a program logic

This page was built for publication: Mathematical models of computer security

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