2043 search results - page 116 / 409 » Reasoning About Security Models |
121
click to vote
INDOCRYPT
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a new elliptic curve cryptosystem with fast encryption and key generation, which is provably secure in the standard model. The scheme uses arithmetic modulo n2...
124
Voted
BIRTHDAY
2009
Springer
14 years 10 months ago
2009
Springer
Analytical models are a fundamental tool in the development of computer-based systems of every kind: their essential purpose is to support human understanding and reasoning in deve...
93
Voted
FLAIRS
2006
15 years 2 months ago
2006
In today's IT-centric, regulated and competitive environment, businesses rely more heavily on IT technologies. Organizations are often challenged by customers, business partn...
CCE
2007
15 years 21 days ago
2007
This work describes a stochastic approach for the optimal placement of sensors in municipal water networks to detect maliciously injected contaminants. The model minimizes the exp...
110
click to vote
IPPS
1999
IEEE
15 years 5 months ago
1999
IEEE
Parallel programming continues to be difficult, despite substantial and ongoing research aimed at making it tractable. Especially dismaying is the gulf between theory and the pract...