2303 search results - page 48 / 461 » The Cryptographic Abstract Machine |
104
click to vote
SP
1990
IEEE
15 years 6 months ago
1990
IEEE
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
131
click to vote
EIT
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract--In the decade since the concept was publicly introduced, power analysis attacks on cryptographic systems have become an increasingly studied topic in the computer securit...
153
Voted
OMER
2001
15 years 3 months ago
2001
Abstract: To synchronize concurrent regions of a state machine, the Unified Modeling Language (UML) provides the concept of so-called "synch states". Synch states insure ...
141
Voted
TPHOL
2009
IEEE
15 years 9 months ago
2009
IEEE
Traditional security protocols are mainly concerned with key establishment and principal authentication and rely on predistributed keys and properties of cryptographic operators. I...
114
Voted
CEC
2010
IEEE
15 years 3 months ago
2010
IEEE
Breeding Abstract Animations in Realtime Tatsuo Unemi SBART was developed in early 1990's as one of the derivatives from Artificial Evolution by Karl Sims. It has a functional...