1054 search results - page 170 / 211 » From a Verified Kernel towards Verified Systems |
127
Voted
NDSS
2005
IEEE
15 years 7 months ago
2005
IEEE
The Border Gateway Protocol (BGP) is an IETF standard inter-domain routing protocol on the Internet. However, it is well known that BGP is vulnerable to a variety of attacks, and ...
107
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
General trust management model that we present is adapted for ad-hoc coalition environment, rather than for classic client-supplier relationship. The trust representation used in ...
BPM
2005
Springer
15 years 7 months ago
2005
Springer
This article describes the method of Mobile Process Landscaping by example of a project in which the service processes of a company from the housing industry were analyzed regardin...
114
click to vote
DOCENG
2004
ACM
15 years 7 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
111
click to vote
IFM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...