2687 search results - page 227 / 538 » Formal Analysis of PKCS |
187
click to vote
RTAS
2007
IEEE
16 years 27 days ago
2007
IEEE
Most of today’s real-time embedded systems consist of a heterogeneous mix of fully-programmable processors, fixed-function components or hardware accelerators, and partially-pr...
163
click to vote
CAV
2007
Springer
16 years 24 days ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
200
click to vote
FMICS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
171
click to vote
FROCOS
2007
Springer
16 years 24 days ago
2007
Springer
Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to forma...
198
click to vote
AICT
2006
IEEE
16 years 21 days ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...