Security type system - PDFSEARCH.IO - Document Search Engine

Security type system
Results: 291

#	Item
1	Technical Report no. 2007:1 Integration of a Security Type System into a Program Logic Reiner H¨ahnle, Jing Pan, Philipp R¨ummer, Dennis Walter Add to Reading List Source URL: www.philipp.ruemmer.org Language: English - Date: 2015-10-30 07:54:22
2	Approved OMB NOExpSee back of form for Paperwork Reduction Act Notice. 1. TYPE OF ACTION (Mark all applicable) Notification of Change of address* Add to Reading List Source URL: www.odfl.com Language: English - Date: 2015-03-31 07:18:42 Postal system Taxation in the United States Universal identifiers Philately Language Economy Customs services Address Human geography ZIP Code Social Security number U.S. Customs and Border Protection
3	Texas State University System Annual Investment Report (Including Deposits) Investment or Deposit Type Publicly Traded Equity and Similar Investments Common Stock (U.S. and foreign stocks held in separately managed accou Add to Reading List Source URL: gato-docs.its.txstate.edu Language: English - Date: 2016-07-17 05:34:26 Economy Finance Money Financial markets Structured finance Institutional investors Investment Funds Private equity Security Mutual fund Real estate investment trust
4	Texas State University System Annual Investment Report (Including Deposits) Investment or Deposit Type Publicly Traded Equity and Similar Investments Common Stock (U.S. and foreign stocks held in separately managed accou Add to Reading List Source URL: gato-docs.its.txstate.edu Language: English - Date: 2016-08-23 20:10:56 Economy Finance Money Financial markets Structured finance Institutional investors Investment Funds Private equity Security Mutual fund Real estate investment trust
5	Texas State University System Annual Investment Report (Including Deposits) Investment or Deposit Type August 31, 2013 Add to Reading List Source URL: gato-docs.its.txstate.edu Language: English - Date: 2016-08-23 20:08:14 Economy Finance Money Financial markets Institutional investors Investment Funds Equity securities Private equity Security Money market fund Mutual fund
6	Uniqueness Typing Redefined Edsko de Vries?1 , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-23 03:13:56 Theoretical computer science Mathematical logic Logic Lambda calculus Models of computation Computability theory Let expression Symbol Substitution Type system Security type system
7	How much e-waste is collected in states with recycling laws Add to Reading List Source URL: www.electronicstakeback.com Language: English - Date: 2016-02-11 15:32:41 Technology Electronics Computer recycling Data security Electronic waste Television Joint Electronics Type Designation System Communication
8	c 2005 Cambridge University Press JFP 15 (6), Meta-Programming through Typeful Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-06-23 21:20:00 Software engineering Theoretical computer science Logic Logic programming Models of computation Functional languages Computability theory Lambda calculus Substitution Standard ML Higher-order abstract syntax Security type system
9	Adding Ramparts to Your Bastille An Introduction to SELinux Hardening Def Con 24 Packet Capture Village Jay Beale Add to Reading List Source URL: www.inguardians.com Language: English - Date: 2016-08-05 14:35:56 National Security Agency Security-Enhanced Linux Mandatory access control Type enforcement Multilevel security Linux kernel File system permissions
10	Verifying an Open Compiler Using Multi-Language Semantics James T. Perconti and Amal Ahmed Northeastern University Abstract. Existing verified compilers are proved correct under a closed-world assumption, i.e., that the Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2014-01-17 22:16:49 Logic Theoretical computer science Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Mathematical logic Security type system Symbol

UPDATE