2209 search results - page 59 / 442 » Language Based Secure Communication |
124
click to vote
CSFW
2009
IEEE
15 years 9 months ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
119
Voted
ICDCS
2007
IEEE
15 years 8 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
106
click to vote
EEE
2004
IEEE
15 years 6 months ago
2004
IEEE
Online (Web-based) examination is an effective solution for mass education evaluation. However, due to the incomplete of network security, students can communicate with each other...
111
click to vote
ICICS
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. This paper analyzes the problem of secure document management and distribution in an open network environment. Reader and author authentication, document integrity, origi...
106
click to vote
TCS
2010
15 years 23 days ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...