Segurança Tipo e segurança
Type-safe acesso es de código apenas os locais de memória está autorizado a acesso.(Para esta discussão, segurança de tipos especificamente refere-se a segurança de tipos de memória e não deve ser confundida com segurança um sentido mais amplo de tipos.) Por exemplo, o código de fortemente tipado não é possível ler valores de outro objeto particular campos.Ele acessa tipos somente de maneiras bem definidas e permitidas.
Durante a compilação do just-in-time (JIT), um processo de verificação opcional examina os metadados e a Microsoft intermediate linguagem (MSIL) de um método a ser compilado JIT em código de computador nativo para verificar se eles estão tipo seguro.Esse processo será ignorado se o código tem permissão para ignorar a verificação.Para obter mais informações sobre a verificação, consulte Compilação MSIL para código nativo.
Embora a verificação de segurança de tipos não seja obrigatória para executar código gerenciado, segurança de tipos desempenha um papel fundamental no isolamento de assembly e imposição de segurança.Quando código de tipo seguro, o common linguagem tempo de execução pode isolar completamente assemblies uns dos outros.Esse isolamento ajuda a garantir que os assemblies não podem afetar negativamente uns aos outros e aumenta a confiabilidade do aplicativo.Componentes de segurança de tipos podem executar com segurança no mesmo processo mesmo que sejam confiáveis em diferentes níveis.Quando código não é um tipo de seguro, pode ocorrer, efeitos colaterais indesejados.Por exemplo, o tempo de execução não é possível evitam que códigos não gerenciados a chamada para código nativo (não gerenciado) e executar operações mal-intencionadas.Quando código for de tipo seguro, o mecanismo de imposição de segurança do tempo de execução garante que ele não acessa código nativo, a menos que tenha permissão para fazê-lo.Todo o código que não é do tipo seguro deve ter recebido SecurityPermission com o membro enum passada SkipVerification para executar.
Consulte também
Conceitos
Gravando verificável tipo-código seguro