64 search results - page 5 / 13 » Specifying and analyzing security automata using CSP-OZ |
118
click to vote
CCS
2001
ACM
15 years 6 months ago
2001
ACM
Although there is a substantial amount of work on formal requirements for two and three-party key distribution protocols, very little has been done on requirements for group proto...
147
click to vote
HPCNCS
2007
15 years 3 months ago
2007
The objective of the proposed work is to formally specify and implement a federated web service model in which the identity management problem and security features are analyzed. ...
171
Voted
AGTIVE
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
137
Voted
ANCS
2007
ACM
15 years 5 months ago
2007
ACM
The importance of network security has grown tremendously and a collection of devices have been introduced, which can improve the security of a network. Network intrusion detectio...
183
click to vote
FASE
2004
Springer
15 years 5 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...