[cap-talk] tagged architectures

[Michal Kostal]

Hello,
    in the current time I am searching for the computer architectures
which efficiently support the secure computing environments. I founded
out that in 70's and 80's there were high expectations in the use of
tagged architectures, but from the middle of the 80's all efforts
about it suddenly stopped.
    Does anybody know if there are some recent architectures based on such
design, or if there are some articles which describes why is it no more
attractive? Your opinions about it would help me, too.

Best Regards

Michal Kostal