2209 search results - page 58 / 442 » Language Based Secure Communication |
114
Voted
NOMS
2002
IEEE
15 years 7 months ago
2002
IEEE
The management of policies in large-scale systems is complex because of the potentially large number of policies and administrators, as well as the diverse types of information th...
107
click to vote
ASM
2008
ASM
15 years 4 months ago
2008
ASM
We address the proof-based development of cryptographic protocols satisfying security properties. Communication channels are supposed to be unsafe. Analysing cryptographic protocol...
103
click to vote
CSSE
2004
IEEE
15 years 2 months ago
2004
IEEE
One of the most important features of XML-based Web services is that they can be easily accessed over the Internet, but this makes them vulnerable to a series of security threats....
109
click to vote
SGAI
2007
Springer
15 years 8 months ago
2007
Springer
A method must be provided to support the analysis of security policy rules interdependencies in a (possibly distributed) environment. We propose a Conceptual Graphs based language...
123
Voted
SEMCO
2009
IEEE
15 years 9 months ago
2009
IEEE
—We present LAIR: A domain-specific language that enables users to specify actions to be taken upon meeting specific semantic frames in a text, in particular to rephrase and re...