11 search results - page 1 / 3 » tgc 2005 |
TGC
2005
Springer
14 years 4 months ago
2005
Springer
TGC
2005
Springer
14 years 4 months ago
2005
Springer
TGC
2005
Springer
14 years 4 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
14 years 4 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
14 years 4 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...