1454 search results - page 79 / 291 » Stateful traits and their formalization |
ESORICS
2000
Springer
15 years 4 months ago
2000
Springer
The IP security protocols (IPsec) may be used via security gateways that apply cryptographic operations to provide security services to datagrams, and this mode of use is supported...
116
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
The IST-CONTRACT project is in the process of creating an electronic contracting language. One of the goals of this language is that it has formal underpinnings, and formalization...
112
click to vote
SDL
2007
15 years 2 months ago
2007
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...
BIRTHDAY
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
112
Voted
ENTCS
2008
15 years 20 days ago
2008
We do not interact with systems without first performing some physical action on a physical device. This paper shows how formal notations and formal models can be developed to acc...