When the Tax Reform Act of 1986 limited passive activity losses and credits, the firm converted its organization from private capital syndicator and real estate manager to full time real estate manager and operator.
National Security Agency | National Security Council | Organization for Security and Co-operation in Europe | United States National Security Council | United Nations Security Council | National Security Advisor | United States Department of Homeland Security | security | National Security Advisor (United States) | Social Security Administration | United Nations Security Council resolution | United Nations Security Council Resolution 1267 | Transportation Security Administration | Hacker (computer security) | George C. Marshall European Center for Security Studies | United Nations Security Council Resolution 1373 | Transport Layer Security | Social Security | Committee of General Security | United Nations Security Council Resolution | Important Cultural Properties of Japan | Social Security (United States) | High Representative of the Union for Foreign Affairs and Security Policy | computer security | National Security Archive | National Security Act of 1947 | Ministry of Public Security of the People's Republic of China | Internet security | hacker (computer security) | Farm Security Administration |
The formal Z notation was used to prove security properties about the Mondex smart card electronic cash system, allowing it to achieve ITSEC level E6, the highest granted security-level classification.
The Z notation was used to prove security properties about Mondex, allowing it to achieve ITSEC level E6, ITSEC's highest granted security-level classification.