Proceedings of the Formal Methods for Security Workshop co-located with the PetriNets-2014 Conference , Tunis, Tunisia, June 23rd, 2014.
Published in: FMS @ Petri Nets (2014)
Keyphrases
- formal methods
- acm sigkdd
- international conference
- international workshop
- advances in artificial intelligence
- security properties
- selected papers
- annual conference
- knowledge discovery and data mining
- naacl hlt
- student research workshop
- human computation
- acm sigmod
- centre for advanced studies
- formal analysis
- conference proceedings
- formal specification
- safety critical
- knowledge based systems
- program committee
- association for computational linguistics
- artificial intelligence
- poster session
- progress in artificial intelligence
- computational intelligence
- lecture notes in artificial intelligence
- security requirements
- panel discussion
- development lifecycle
- information security
- invited talk
- workshop proceedings
- model checking
- north american
- computer personnel research group
- security policies
- software engineering
- short papers
- communication protocols
- databases and information systems
- international symposium
- access control
- cyber security and information intelligence
- formal specification language
- computer personnel
- book constitutes the refereed proceedings
- australasian database conference
- protocol specification
- computer science
- machine learning
- database