3420 search results - page 165 / 684 » A Language-Based Approach to Security |
111
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
Most of the research on transaction costs in the market microstructure literature focuses on implicit transaction costs. Research on the design of price schedules for explicit tra...
154
click to vote
CIIA
2009
15 years 5 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...
114
click to vote
JSW
2007
15 years 4 months ago
2007
—As the Internet users increase, the need to protect web servers from malicious users has become a priority in many organizations and companies. ...
138
click to vote
RTA
2009
Springer
15 years 10 months ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...
165
click to vote
JSAC
2006
15 years 4 months ago
2006
Abstract--Wireless sensor networks have received a lot of attention recently due to its wide applications. An accurate and synchronized clock time is crucial in many sensor network...