6291 search results - page 952 / 1259 » Components Are from Mars |
170
click to vote
DEXAW
2007
IEEE
15 years 10 months ago
2007
IEEE
Most of the security proposals in m-commerce scenarios have been based on a classical payment model, which basically establishes relationships across domains among customers and me...
180
click to vote
EICS
2010
ACM
15 years 10 months ago
2010
ACM
Language Technology (LT) based applications become more popular as technology improves. Prototyping early in the design process is critical for the development of high quality app...
179
click to vote
ITP
2010
15 years 10 months ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...
187
click to vote
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
201
click to vote
EUC
2007
Springer
15 years 10 months ago
2007
Springer
With the wide adoption of internet into our everyday lives, internet security becomes an important issue. Intrusion detection at the network level is an effective way of stopping m...