1525 search results - page 34 / 305 » Formal Models for Communication-Based Design |
92
Voted
ZUM
2000
Springer
15 years 4 months ago
2000
Springer
We have recently completed the specication and security proof of a large, industrial scale application. The application is security critical, and the modelling and proof were done ...
105
Voted
TCAD
2008
15 years 13 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...
91
Voted
WOSP
2000
ACM
15 years 4 months ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...
93
Voted
FAC
2008
15 years 17 days ago
2008
This paper presents a formal model and a systematic approach to the validation of communication tures at a high level of abstraction. This model is described mathematically by a fu...
132
click to vote
ACSAC
1996
IEEE
15 years 4 months ago
1996
IEEE
In this paper we describe the method used to develop a gateway capable of meeting the ITSEC E4 requirements. The security policy was formally modelled and proven consistent with t...