2209 search results - page 83 / 442 » Language Based Secure Communication |
112
Voted
TRUSTBUS
2009
Springer
15 years 9 months ago
2009
Springer
DKAL is a new expressive high-level authorization language. It has been successfully tried at Microsoft which led to further improvements of the language itself. One improvement is...
140
Voted
CSFW
2007
IEEE
15 years 9 months ago
2007
IEEE
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
124
Voted
TISSEC
2002
15 years 2 months ago
2002
IPsec is the standard suite of protocols for networklayer confidentiality and authentication of Internet traffic. The IPsec protocols, however, do not address the policies for how...
223
click to vote
POPL
2001
ACM
16 years 2 months ago
2001
ACM
Secure Safe Ambients (SSA) are a typed variant of Safe Ambients [9], whose type system allows behavioral invariants of ambients to be expressed and verified. The most significant a...
129
Voted
APLAS
2008
ACM
15 years 4 months ago
2008
ACM
We define a small-step operational semantics for the ECMAScript standard language corresponding to JavaScript, as a basis for analyzing security properties of web applications and ...