Back to Results
First PageMeta Content
Ethics / Crime prevention / National security / Evaluation / Electronic commerce / Integrity / Formal verification / Trusted Computer System Evaluation Criteria / Computer security / Security / Computer network security


ARSPA 2004 Preliminary Version Believing the Integrity of a System (Invited Talk) Simon N. Foley 1,2 Department of Computer Science
Add to Reading List

Document Date: 2004-10-08 09:12:34

Open Document

File Size: 169,17 KB

Share Result on Facebook

City

Washington / DC / cambridge / Bristol / /

Company

Distributed Systems / IEEE Press / IEEE Computer Society Press / Methuen Press / Needham / MITRE Corp / Kindred / John Wiley & Sons / /

Country

United States / United Kingdom / /

Currency

USD / STD / /

/

Facility

University Paperbacks / /

IndustryTerm

large systems / bank accounts / backward search / abnormal infrastructure / cryptographic protocols / security protocol / public key protocols / bank / bank principals / bank account balance / secure computer systems / analysis tools / automatic verification tool / security protocols / system/infrastructure / cryptographic security protocols / software fails / /

Organization

Digital Systems Research Center / US Federal Bureau of Investigation / Department of Computer Science University College Cork Ireland Abstract An / Computer Security Institute / Department of Defense / IEEE Computer Society / U. S. Department of Defense / /

Person

Nathalie Foster / Washington - Brussels Tokyo / Simon N. Foley / Jeremy Jacob / Stephen H. Brackin / /

Position

supervisor / editor / spy / nist model for fole-based accesscontrol / bank clerk / clerk / /

ProgrammingLanguage

DC / C / /

SportsEvent

formula 1 / /

Technology

cryptographic security protocols / cryptography / security protocol / artificial intelligence / ATM / security protocols / public key protocols / /

URL

www.elsevier.nl/locate/entcs / /

SocialTag