2209 search results - page 56 / 442 » Language Based Secure Communication |
138
click to vote
CCS
2010
ACM
15 years 7 hour ago
2010
ACM
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy guides sformation of abstract security goals into protocols that are s...
109
click to vote
COMPSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
128
click to vote
CSFW
2003
IEEE
15 years 7 months ago
2003
IEEE
A type system is presented that combines a weak form of information flow control, termed distributed access control in the paper, with typed cryptographic operations. The motivat...
111
click to vote
ITCC
2005
IEEE
15 years 7 months ago
2005
IEEE
Interactive Data Language (IDL) is an array-oriented data analysis and visualization application, which is widely used in research, commerce, and education. It is meaningful to ma...
123
click to vote
APNOMS
2006
Springer
15 years 5 months ago
2006
Springer
In Ad hoc networks, malicious nodes can enter in radio transmission range on the routing path and disrupt network activity. Therefore, protecting from intrusion of malicious node a...