11 search results - page 1 / 3 » tgc 2005 |
TGC
2005
Springer
13 years 10 months ago
2005
Springer
TGC
2005
Springer
13 years 10 months ago
2005
Springer
TGC
2005
Springer
13 years 10 months ago
2005
Springer
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...
TGC
2005
Springer
13 years 10 months ago
2005
Springer
Protocol narrations are an informal means to describe, in an idealistic manner, the functioning of cryptographic protocols as a single intended sequence of cryptographic message ex...
TGC
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...