A Summary and Personal Perspective on Recent Advances in Privacy Risk Assessment in Digital Pathology Through Formal Methods.
Tomás BrázdilPublished in: Taming the Infinities of Concurrency (2024)
Keyphrases
- recent advances
- formal methods
- risk assessment
- personal information
- risk management
- security properties
- network security
- risk factors
- model checking
- risk analysis
- decision making
- formal specification
- economic impact
- researchers and practitioners
- knowledge based systems
- information security
- software engineering
- modeling language
- development lifecycle
- artificial intelligence
- power plant
- privacy preserving
- field of pattern recognition
- intrusion detection system
- decision support system
- case based reasoning
- knowledge representation
- information systems
- machine learning