2270 search results - page 198 / 454 » Modelling Secure IT Systems - A Survey |
133
click to vote
ACSW
2006
15 years 5 months ago
2006
Formal specification and verification of protocols have been credited for uncovering protocol flaws; revealing inadequacies in protocol design of the Initial Stage and Negotiation...
122
click to vote
ERSHOV
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Two formal models for description of timing attacks are presented, studied and compared with other security concepts. The models are based on a timed process algebra and ...
130
click to vote
ICDCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract. Content-based publish-subscribe (pub-sub) systems are an emerging paradigm for building large-scale information delivery systems. Secure event dissemination in a pub-sub ...
144
click to vote
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
147
click to vote
OTM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper discusses the approach of ontology-based knowledge engineering in FF POIROT, a project to explore the use of ontology technology in information systems against...