11 search results - page 1 / 3 » tgc 2005 |
154
Voted
TGC
2005
Springer
16 years 26 days ago
2005
Springer
213
Voted
TGC
2005
Springer
16 years 26 days 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 ...
158
Voted
TGC
2005
Springer
16 years 26 days 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...
170
click to vote
TGC
2005
Springer
16 years 26 days 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...