Performance and security lessons learned from virtualizing the alpha processor von Karger, Paul A

Volltext

Authenticating Mandatory Access Controls and Preserving Privacy for a High-Assurance Smart Card von Scherzer, Helmut, Canetti, Ran, Karger, Paul A., Krawczyk, Hugo, Rabin, Tal, Toll, David C.

Volltext

Fuzzy Multi-Level Security: An Experiment on Quantified Risk-Adaptive Access Control von Pau-Chen Cheng, Rohatgi, P., Keser, C., Karger, P.A., Wagner, G.M., Reninger, A.S.

Volltext

Multi-level security requirements for hypervisors von Karger, P.A.

Volltext

Designing a Side Channel Resistant Random Number Generator von Chari, Suresh N., Diluoffo, Vincenzo V., Karger, Paul A., Palmer, Elaine R., Rabin, Tal, Rao, Josyula R., Rohotgi, Pankaj, Scherzer, Helmut, Steiner, Michael, Toll, David C.

Volltext

The Importance of High Assurance Security in Pervasive Computing von Karger, Paul A.

Volltext

A software flaw taxonomy:aiming tools at security von Weber, Sam, Karger, Paul A, Paradkar, Amit

Volltext

Performance and security lessons learned from virtualizing the alpha processor von Karger, Paul A.

Volltext

The Caernarvon secure embedded operating system von Toll, David C., Karger, Paul A., Palmer, Elaine R., McIntosh, Suzanne K., Weber, Sam

Volltext

The Caernarvon Secure Embedded Operating System : System Work at IBM Research von TOLL, David C, KARGER, Paul A, PALMER, Elaine R, MCINTOSH, Suzanne K, WEBER, Sam

Volltext

Authentication and discretionary access control in computer networks von Karger, Paul A.

Volltext

Thirty years later: lessons from the Multics security evaluation von Karger, P.A., Schell, R.R.

Volltext

A retrospective on the VAX VMM security kernel von Karger, P.A., Zurko, M.E., Bonin, D.W., Mason, A.H., Kahn, C.E.

Volltext

Verification of a Formal Security Model for Multiapplicative Smart Cards von Schellhorn, Gerhard, Reif, Wolfgang, Schairer, Axel, Karger, Paul, Austel, Vernon, Toll, David

Volltext

Using registers to optimize cross-domain call performance von Karger, Paul A

Volltext

Using registers to optimize cross-domain call performance von Karger, Paul A.

Volltext

Is Your Virtual Machine Monitor Secure? von Karger, P.A.

Volltext bestellen

Verified formal security models for multiapplicative smart cards1 von Schellhorn, Gerhard, Reif, Wolfgang, Schairer, Axel, Karger, Paul, Austel, Vernon, Toll, David

Volltext

Hardware based mandatory access control von Karger, Paul A, Hall, William E, Hunt, Guerney D. H, Safford, David R, Toll, David C, Mergen, Mark F

Volltext bestellen

Implementing a High-Assurance Smart-Card OS von Karger, Paul A., Toll, David C., Palmer, Elaine R., McIntosh, Suzanne K., Weber, Samuel, Edwards, Jonathan W.

Volltext