2687 search results - page 72 / 538 » Formal Analysis of PKCS |
106
Voted
TCAD
2008
15 years 15 days ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
101
Voted
CALCO
2007
Springer
15 years 6 months ago
2007
Springer
This paper describes the main features of several tools concerned with the analysis of either Maude specifications, or of extensions of such specifications: the ITP, MTT, CRC, Ch...
114
Voted
DEON
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. In this paper we present a logical model of trust in which trust is conceived as an expectation of the truster about some properties of the trustee. A general typology of...
82
Voted
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
95
Voted
EICS
2009
ACM
15 years 4 months ago
2009
ACM
This paper presents an approach for investigating in a predictive way potential disruptive effects of interruptions on task performance in a multitasking environment. The approach...