309 search results - page 54 / 62 » A Type System for Expressive Security Policies |
245
click to vote
OOPSLA
1999
Springer
16 years 11 days ago
1999
Springer
The Advanced Teaching and Learning Academic Server (Atlas) is a software system that supports web-based learning. Students can register for courses, and can navigate through perso...
186
click to vote
ISCAS
2006
IEEE
16 years 2 months ago
2006
IEEE
In this paper a 173-bit type II ONB ECC processor Section II introduces the mathematical backgrounds for for inductive RFID applications is described. Compared with curve operation...
229
click to vote
ACSAC
2002
IEEE
16 years 1 months ago
2002
IEEE
Security analysis should take advantage of a reliable knowledge base that contains semantically-rich information about a protected network. This knowledge is provided by network m...
198
click to vote
PLDI
2003
ACM
16 years 1 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
199
click to vote
IDTRUST
2009
ACM
16 years 2 months ago
2009
ACM
Security in browsers is based upon users trusting a set of root Certificate Authorities (called Trust Anchors) which they may know little or nothing about. Browser vendors face a...