5475 search results - page 661 / 1095 » Model Driven Security |
199
click to vote
FSTTCS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
201
click to vote
CIKM
2005
Springer
16 years 10 days ago
2005
Springer
With the emergence of XML as the de facto standard to exchange and disseminate information, the problem of regulating access to XML documents has attracted a considerable attentio...
201
click to vote
ENTCS
2007
15 years 6 months ago
2007
In recent papers we have introduced Mobile Synchronizing Petri Nets, a new model for mobility based on coloured Petri Nets. It allows the description of systems composed of a coll...
174
click to vote
JCS
2010
15 years 5 months ago
2010
raction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently significa...
164
click to vote
LCN
2007
IEEE
16 years 1 months ago
2007
IEEE
— GRSB - Guaranteed, Reliable, Secure Broadcast - is a protocol that provides reliable and secure broadcast / multicast communications [1,2]. It can be implemented in many types ...