1317 search results - page 154 / 264 » A New Design for a Practical Secure Cookies System |
183
click to vote
ICECCS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents the Architecture Tradeoff Analysis Method (ATAM), a structured technique for understanding the tradeoffs inherent in design. This method was developed to provi...
158
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
This paper examines a new building block for next-generation networks: SNAPP, or Stateless Network-Authenticated Path Pinning. SNAPP-enabled routers securely embed their routing d...
177
click to vote
CCS
2007
ACM
16 years 6 days ago
2007
ACM
Traditional Public Key Infrastructures (PKI) have not lived up to their promise because there are too many ways to define PKIs, too many cryptographic primitives to build them wi...
169
click to vote
MAGS
2008
15 years 6 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
169
click to vote
DATE
2008
IEEE
16 years 14 days ago
2008
IEEE
SOFIA (Safe Automatic Flight Back and Landing of Aircraft) project is a response to the challenge of developing concepts and techniques enabling the safe and automatic return to g...